p9m4
prover9/mace4 GUI
WWW CVSWeb GITHub-
Package versionp9m4-05p3
-
MaintainerThe OpenBSD ports mailing-list
GUI for the LADR (prover9 mace4) tools.
- lang/python/3.10
- devel/py-modulegraph,python3
- math/prover9/ladr
- x11/py-wxPython,python3
- lang/python/3.10