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

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

Links for prover9-mace4

Screenshot

Ubuntu Resources:

Download Source Package p9m4:

Maintainer:

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

Other Packages Related to prover9-mace4

  • depends
  • recommends
  • suggests
  • enhances
  • dep: prover9 (>= 0.0.200712-1)
    theorem prover and countermodel generator
  • dep: python
    interactive high-level object-oriented language (default version)
  • dep: python-support (>= 0.90.0)
    automated rebuilding support for Python modules
  • dep: python-wxgtk2.8
    wxWidgets Cross-platform C++ GUI toolkit (wxPython binding)

Download prover9-mace4

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