all options
jessie  ] [  stretch  ] [  buster  ] [  bullseye  ] [  sid  ]
[ Source: p9m4  ]

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

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 51.4 kB265.0 kB [list of files]