OpenBSD ports

The math/prover9/p9m4 port

p9m4-05p5 – 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

Build dependencies

Run dependencies