ports

• lang/python
• math

math/prover9/p9m4

• CVSweb
• allbsd
• cgit
• openports.se
• ports-wip

p9m4-05p2 – prover9/mace4 GUI

Description

GUI for the LADR (prover9 mace4) tools.

WWW: http://www.cs.unm.edu/%7Emccune/prover9/

Categories:

lang/python math

Library dependencies

None

Build dependencies

None

Run dependencies

• devel/py-modulegraph
• lang/python/2.7
• math/prover9/ladr
• x11/py-wxPython