prover9-mace4_0.5.dfsg-3_all.deb


Advertisement

Description

prover9-mace4 - GUI for Prover9 and Mace4

Distribution: Ubuntu 16.04 LTS (Xenial Xerus)
Repository: Ubuntu Universe amd64
Package name: prover9-mace4
Package version: 0.5.dfsg
Package release: 3
Package architecture: all
Package type: deb
Installed size: 265 B
Download size: 51.44 KB
Official Mirror: archive.ubuntu.com
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.

Alternatives

    Download

    Source package: p9m4

    Install Howto

    1. Update the package index:
      # sudo apt-get update
    2. Install prover9-mace4 deb package:
      # sudo apt-get install prover9-mace4

    Files

    • /usr/share/doc/prover9-mace4/changelog.Debian.gz
    • /usr/share/doc/prover9-mace4/copyright
    • /usr/share/man/man1/prover9-mace4.1.gz
    • /usr/share/prover9-mace4/Images/mace4-90t.gif
    • /usr/share/prover9-mace4/Images/p9.ico
    • /usr/share/prover9-mace4/Images/prover9-5a-128t.gif
    • /usr/share/prover9-mace4/Images/prover9-splash.gif
    • /usr/share/prover9-mace4/Samples/GT_Sax.in
    • /usr/share/prover9-mace4/Samples/Kauer.in
    • /usr/share/prover9-mace4/Samples/LT-McKenzie-4basis.in
    • /usr/share/prover9-mace4/Samples/Equality/Mace4/BA-Sheffer-counterexample.in
    • /usr/share/prover9-mace4/Samples/Equality/Mace4/CL-QL.in
    • /usr/share/prover9-mace4/Samples/Equality/Mace4/Megill-68.in
    • /usr/share/prover9-mace4/Samples/Equality/Mace4/Noncommutative-group-48.in
    • /usr/share/prover9-mace4/Samples/Equality/Mace4/Noncommutative-group.in
    • /usr/share/prover9-mace4/Samples/Equality/Mace4/Noncommutative-ring-unit.in
    • /usr/share/prover9-mace4/Samples/Equality/Mace4/Nonmodular-OML.in
    • /usr/share/prover9-mace4/Samples/Equality/Mace4/QG-4.in
    • /usr/share/prover9-mace4/Samples/Equality/Mace4/Ring-19.in
    • /usr/share/prover9-mace4/Samples/Equality/Mace4/TBA-independence-2.in
    • /usr/share/prover9-mace4/Samples/Equality/Prover9/BA-distributivity.in
    • /usr/share/prover9-mace4/Samples/Equality/Prover9/CL-BW.in
    • /usr/share/prover9-mace4/Samples/Equality/Prover9/CL-SK-W.in
    • /usr/share/prover9-mace4/Samples/Equality/Prover9/Cancellative-semigroup-EA.in
    • /usr/share/prover9-mace4/Samples/Equality/Prover9/LT-McKenzie-4basis.in
    • /usr/share/prover9-mace4/Samples/Equality/Prover9/OML-sax.in
    • /usr/share/prover9-mace4/Samples/Equality/Prover9/RBA-2.in
    • /usr/share/prover9-mace4/Samples/Non-Equality/Mace4/EC-counterexample.in
    • /usr/share/prover9-mace4/Samples/Non-Equality/Mace4/Kauer.in
    • /usr/share/prover9-mace4/Samples/Non-Equality/Mace4/Steam-bug.in
    • /usr/share/prover9-mace4/Samples/Non-Equality/Mace4/Toughnut.in
    • /usr/share/prover9-mace4/Samples/Non-Equality/Prover9/EC-XCB-reflexivity.in
    • /usr/share/prover9-mace4/Samples/Non-Equality/Prover9/HWV006-1.in
    • /usr/share/prover9-mace4/Samples/Non-Equality/Prover9/Lifschitz.in
    • /usr/share/prover9-mace4/Samples/Non-Equality/Prover9/Steam.in
    • /usr/share/prover9-mace4/Samples/Non-Equality/Prover9/Subset_transitive.in
    • /usr/share/prover9-mace4/Samples/Non-Equality/Prover9/temp
    • /usr/share/prover9-mace4/Samples/Non-Equality/Prover9/temp0
    • /usr/share/prover9-mace4/Samples/Non-Equality/Prover9/temp1
    • /usr/share/prover9-mace4/lib/control.py
    • /usr/share/prover9-mace4/lib/files.py
    • /usr/share/prover9-mace4/lib/my_setup.py
    • /usr/share/prover9-mace4/lib/options.py
    • /usr/share/prover9-mace4/lib/partition_input.py
    • /usr/share/prover9-mace4/lib/platforms.py
    • /usr/share/prover9-mace4/lib/utilities.py
    • /usr/share/prover9-mace4/lib/wx_utilities.py
    • /usr/share/python/runtime.d/prover9-mace4.rtupdate

    Changelog

    2015-12-14 - Mattia Rizzolo <mattia@debian.org> p9m4 (0.5.dfsg-3) unstable; urgency=medium * QA upload. * Orphan the package, after request of the MIA team and ack from PAPT team. Closes: #740323 * Also remove Vcs-* fields, being removed from the PAPT team. * remove long useless debian/pycompat file. * debian/control: remove long useless DM-Upload-Allowed field. * Build with dh-python instead of python-support. Closes: #786257 * Use source format 3.0 (quilt). * Bump debhelper compat to 9. * Bump Standards-Version to 3.9.6, no changes needed.

    2014-08-30 - Olly Betts <olly@survex.com> p9m4 (0.5.dfsg-2.2) unstable; urgency=medium * Non-maintainer upload. * Update to depend on python-wxgtk3.0 rather than python-wxgtk2.8. (Closes: #758507)

    2011-11-24 - Olly Betts <olly@survex.com> p9m4 (0.5.dfsg-2.1) unstable; urgency=low * Non-maintainer upload. * Update to suggest python-wxgtk2.8 rather than python-wxgtk2.6 - should be a low risk change, as with default alternatives 2.8 will already get used if installed, and 2.8 has twice as many installs according to popcon. (Closes: #645569)

    2009-05-03 - Peter Collingbourne <peter@pcc.me.uk> p9m4 (0.5.dfsg-2) unstable; urgency=low [ Sandro Tosi ] * debian/control - switch Vcs-Browser field to viewsvn [ Marco Rodrigues ] * debian/control: + Add ${misc:Depends} to Depends to remove lintian warning. [ Peter Collingbourne ] * debian/install: removed shell brace expansion * debian/prover9-mace4.1, debian/control, debian/copyright: changed maintainer email address * debian/copyright: updated year, use correct declaration of copyright, refer to version of GPL * debian/control: updated Standards-Version * debian/patches/04-64bit.patch: added; Prover9-Mace4 can now start on 64-bit platforms (closes: #526685) * debian/control: added DM-Upload-Allowed: yes

    2008-01-15 - Peter Collingbourne <pcc03@doc.ic.ac.uk> p9m4 (0.5.dfsg-1) unstable; urgency=low * Initial release (closes: #460813) * my_setup.py, partition_input.py: removed Python-2.5isms from code * debian/setup.py: wrote distutils script * files.py, prover9-mace4.py: point to correct file locations

    Advertisement
    Advertisement