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


Advertisement

Description

prover9-mace4 - GUI for Prover9 and Mace4

Distribution: Debian 7 (Wheezy)
Repository: Debian Main amd64
Package name: prover9-mace4
Package version: 0.5.dfsg
Package release: 2.1
Package architecture: all
Package type: deb
Installed size: 243 B
Download size: 67.57 KB
Official Mirror: ftp.br.debian.org
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/bin/prover9-mace4
    • /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/pyshared/prover9_mace4-0.5.egg-info
    • /usr/share/python-support/prover9-mace4.private
    • /usr/share/python-support/prover9-mace4.public

    Changelog

    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