» Ubuntu » Packages » lucid (10.04LTS) » math » prover9-mace4
lucid  ] [  precise  ] [  trusty  ] [  utopic  ] [  vivid  ]
[ Source: p9m4  ]

Package: prover9-mace4 (0.5.dfsg-2) [universe]

Links for prover9-mace4


Ubuntu Resources:

Download Source Package p9m4:


Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

  • Peter Collingbourne
  • Python Applications Packaging Team (Mail Archive)

It should generally not be necessary for users to contact the original maintainer.

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
  • dep: prover9 (>= 0.0.200712-1)
    theorem prover and countermodel generator
  • dep: python
    An interactive high-level object-oriented language (default version)
  • dep: python-support (>= 0.90.0)
    automated rebuilding support for Python modules
  • dep: python-wxgtk2.6
    wxWidgets Cross-platform C++ GUI toolkit (wxPython binding)

Download prover9-mace4

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