Binary package “prover9-mace4” in ubuntu xenial
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.
Source package
Published versions
- prover9-mace4 0.5.dfsg-3 in amd64 (Proposed)
- prover9-mace4 0.5.dfsg-3 in amd64 (Release)
- prover9-mace4 0.5.dfsg-3 in arm64 (Proposed)
- prover9-mace4 0.5.dfsg-3 in arm64 (Release)
- prover9-mace4 0.5.dfsg-3 in armhf (Proposed)
- prover9-mace4 0.5.dfsg-3 in armhf (Release)
- prover9-mace4 0.5.dfsg-3 in i386 (Proposed)
- prover9-mace4 0.5.dfsg-3 in i386 (Release)
- prover9-mace4 0.5.dfsg-3 in powerpc (Proposed)
- prover9-mace4 0.5.dfsg-3 in powerpc (Release)
- prover9-mace4 0.5.dfsg-3 in ppc64el (Proposed)
- prover9-mace4 0.5.dfsg-3 in ppc64el (Release)
- prover9-mace4 0.5.dfsg-3 in s390x (Proposed)
- prover9-mace4 0.5.dfsg-3 in s390x (Release)