prover9-mace4 0.5.dfsg-2.1 (i386 binary) in ubuntu precise
This package provides a graphical user interface for easily running
the Prover9 theorem prover and the Mace4 countermodel generator
along with a number of sample input files.
Details
- Package version:
- 0.5.dfsg-2.1
- Status:
- Published
- Component:
- universe
- Priority:
- Optional
Downloadable files
i386 build of p9m4 0.5.dfsg-2.1 in ubuntu precise RELEASE produced
these files:
- prover9-mace4_0.5.dfsg-2.1_all.deb (67.6 KiB)