Home

The math/prover9/p9m4 port

p9m4-05p6 – prover9/mace4 GUI (cvsweb github mirror)

Description

GUI for the LADR (prover9 mace4) tools.
WWW: http://www.cs.unm.edu/%7Emccune/prover9/

Maintainer

The OpenBSD ports mailing-list

Categories

lang/python math

Build dependencies

Run dependencies

Reverse dependencies

Search