all options
squeeze  ] [  wheezy  ] [  jessie  ] [  stretch  ] [  sid  ]
[ Source: p9m4  ]

Package: prover9-mace4 (0.5.dfsg-2)

Links for prover9-mace4


Debian Resources:

Download Source Package p9m4:


External Resources:

Similar packages:

GUI for Prover9 and Mace4

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.

Other Packages Related to prover9-mace4

  • depends
  • recommends
  • suggests
  • enhances

Download prover9-mace4

Download for all available architectures
Architecture Package Size Installed Size Files
all 65.9 kB472.0 kB [list of files]