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
Source:
p9m4 0.5.dfsg-2.1 source package in Ubuntu
Status:
Published
Component:
universe
Priority:
Optional