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


Advertisement

Description

prover9-mace4 - GUI for Prover9 and Mace4

Property Value
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

Package Version Architecture Repository
prover9-mace4_0.5.dfsg-2.1_all.deb 0.5.dfsg all Debian Main
prover9-mace4 - - -

Requires

Name Value
prover9 >= 0.0.200712-1
python -
python-support >= 0.90.0
python-wxgtk2.8 -

Download

Type URL
Binary Package prover9-mace4_0.5.dfsg-2.1_all.deb
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

Path
/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

See Also

Package Description
prover9_0.0.200902a-2.1_amd64.deb theorem prover and countermodel generator
proxsmtp_1.10-1_amd64.deb multi purpose SMTP Proxy
proxychains_3.1-3_all.deb proxy chains - redirect connections through proxy servers
proxycheck_0.49a-4_amd64.deb checks existence of open proxy
proxytrack_3.46.1-1_amd64.deb Build HTTP Caches using archived websites copied by HTTrack
proxytunnel_1.9.0-5_amd64.deb Create tcp tunnels trough HTTPS proxies, for using with SSH
ps-watcher_1.08-5_all.deb monitoring a system via ps-like commands
ps2eps_1.68-1_amd64.deb convert PostScript to EPS (Encapsulated PostScript) files
psad_2.2-3.1_amd64.deb Port Scan Attack Detector
pscan_1.2-9_amd64.deb Format string security checker for C files
psensor-common_0.6.2.17-2_all.deb common files for Psensor and Psensor server
psensor-server_0.6.2.17-2+b1_amd64.deb Psensor server for monitoring hardware sensors remotely
psensor_0.6.2.17-2+b1_amd64.deb display graphs for monitoring hardware temperature
psgml_1.3.2-14_all.deb Emacs major mode for editing SGML documents
psi-plus-common_0.15.5338-1_all.deb common files for Psi+
Advertisement
Advertisement