prover9-doc_0.0.200902a-2_all.deb


Advertisement

Description

prover9-doc - documentation for Prover9 and associated programs

Property Value
Distribution Debian 8 (Jessie)
Repository Debian Main i386
Package name prover9-doc
Package version 0.0.200902a
Package release 2
Package architecture all
Package type deb
Installed size 3.04 KB
Download size 946.26 KB
Official Mirror ftp.br.debian.org
Prover9 is an automated theorem prover for first-order and equational
logic. It is a successor of the Otter prover.  Prover9 uses the
inference techniques of ordered resolution and paramodulation with
literal selection.
This package provides documentation for Prover9, Mace4 and other
associated programs.

Alternatives

Package Version Architecture Repository
prover9-doc_0.0.200902a-2_all.deb 0.0.200902a all Debian Main
prover9-doc - - -

Download

Type URL
Binary Package prover9-doc_0.0.200902a-2_all.deb
Source Package prover9-manual

Install Howto

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

Files

Path
/usr/share/doc-base/prover9-doc
/usr/share/doc/prover9-doc/changelog.Debian.gz
/usr/share/doc/prover9-doc/copyright
/usr/share/doc/prover9-doc/finalbook.pdf.gz
/usr/share/doc/prover9-doc/examples/2inverter.in
/usr/share/doc/prover9-doc/examples/2inverter.out
/usr/share/doc/prover9-doc/examples/BA-Sheffer.demods
/usr/share/doc/prover9-doc/examples/BA2.in
/usr/share/doc/prover9-doc/examples/BA2.interps
/usr/share/doc/prover9-doc/examples/BA2.interps2
/usr/share/doc/prover9-doc/examples/BA2.interps3
/usr/share/doc/prover9-doc/examples/BA2.interps4
/usr/share/doc/prover9-doc/examples/BA2.interps5
/usr/share/doc/prover9-doc/examples/BA4.in
/usr/share/doc/prover9-doc/examples/BA4.out
/usr/share/doc/prover9-doc/examples/LT-82-2-interp.in
/usr/share/doc/prover9-doc/examples/LT-82-2-interp.out
/usr/share/doc/prover9-doc/examples/LT-82-2.in
/usr/share/doc/prover9-doc/examples/LT-82-2.out
/usr/share/doc/prover9-doc/examples/LT-port.in
/usr/share/doc/prover9-doc/examples/LT-port.out
/usr/share/doc/prover9-doc/examples/LT-port.out2
/usr/share/doc/prover9-doc/examples/MOL-cand.238
/usr/share/doc/prover9-doc/examples/MOL-cand.296
/usr/share/doc/prover9-doc/examples/MOL.in
/usr/share/doc/prover9-doc/examples/MOL.interps
/usr/share/doc/prover9-doc/examples/MOL.interps2
/usr/share/doc/prover9-doc/examples/PUZ031-1.in
/usr/share/doc/prover9-doc/examples/PUZ031-1.out
/usr/share/doc/prover9-doc/examples/PUZ031-1.out2
/usr/share/doc/prover9-doc/examples/PUZ031-1.tptp
/usr/share/doc/prover9-doc/examples/RBA-2.in
/usr/share/doc/prover9-doc/examples/RBA-2.tptp
/usr/share/doc/prover9-doc/examples/RBA-2q.tptp
/usr/share/doc/prover9-doc/examples/andrews.in
/usr/share/doc/prover9-doc/examples/andrews.out
/usr/share/doc/prover9-doc/examples/andrews.out2
/usr/share/doc/prover9-doc/examples/assoc-comm.clauses
/usr/share/doc/prover9-doc/examples/bool-ring.demods
/usr/share/doc/prover9-doc/examples/bool-ring.in
/usr/share/doc/prover9-doc/examples/bool-ring.out
/usr/share/doc/prover9-doc/examples/cabbages.in
/usr/share/doc/prover9-doc/examples/cabbages.out
/usr/share/doc/prover9-doc/examples/easy.hints
/usr/share/doc/prover9-doc/examples/easy.in
/usr/share/doc/prover9-doc/examples/easy.out
/usr/share/doc/prover9-doc/examples/group-terms.in
/usr/share/doc/prover9-doc/examples/group-terms.out
/usr/share/doc/prover9-doc/examples/group.demods
/usr/share/doc/prover9-doc/examples/hard-hints.out
/usr/share/doc/prover9-doc/examples/hard.in
/usr/share/doc/prover9-doc/examples/hard.out
/usr/share/doc/prover9-doc/examples/interp3.dtd
/usr/share/doc/prover9-doc/examples/interp3.xsl
/usr/share/doc/prover9-doc/examples/jugs.in
/usr/share/doc/prover9-doc/examples/jugs.out
/usr/share/doc/prover9-doc/examples/kenken6.in
/usr/share/doc/prover9-doc/examples/kenken6.out
/usr/share/doc/prover9-doc/examples/list.in
/usr/share/doc/prover9-doc/examples/list.out
/usr/share/doc/prover9-doc/examples/non-MOL-OML.interps
/usr/share/doc/prover9-doc/examples/olsax.in
/usr/share/doc/prover9-doc/examples/olsax.out
/usr/share/doc/prover9-doc/examples/port.py
/usr/share/doc/prover9-doc/examples/proof3.dtd
/usr/share/doc/prover9-doc/examples/qg4-ac.interps
/usr/share/doc/prover9-doc/examples/qg4.interps
/usr/share/doc/prover9-doc/examples/queens1.in
/usr/share/doc/prover9-doc/examples/queens1.out
/usr/share/doc/prover9-doc/examples/queens2.in
/usr/share/doc/prover9-doc/examples/queens2.out
/usr/share/doc/prover9-doc/examples/queens3.in
/usr/share/doc/prover9-doc/examples/queens3.out
/usr/share/doc/prover9-doc/examples/redeclare.in
/usr/share/doc/prover9-doc/examples/redeclare.out
/usr/share/doc/prover9-doc/examples/ring41.in
/usr/share/doc/prover9-doc/examples/ring41.out
/usr/share/doc/prover9-doc/examples/send-money.in
/usr/share/doc/prover9-doc/examples/send-money.out
/usr/share/doc/prover9-doc/examples/subset.in
/usr/share/doc/prover9-doc/examples/subset_trans.in
/usr/share/doc/prover9-doc/examples/subset_trans.out
/usr/share/doc/prover9-doc/examples/subset_trans.out2
/usr/share/doc/prover9-doc/examples/subset_trans.out3
/usr/share/doc/prover9-doc/examples/subset_trans.out4
/usr/share/doc/prover9-doc/examples/subset_trans.proof1
/usr/share/doc/prover9-doc/examples/subset_trans.proof2
/usr/share/doc/prover9-doc/examples/subset_trans.proof3
/usr/share/doc/prover9-doc/examples/subset_trans.proof4
/usr/share/doc/prover9-doc/examples/subset_trans.proof5.xml
/usr/share/doc/prover9-doc/examples/subset_trans.proof6
/usr/share/doc/prover9-doc/examples/subset_trans.proof7
/usr/share/doc/prover9-doc/examples/subset_trans.proof8
/usr/share/doc/prover9-doc/examples/subset_trans_expand.in
/usr/share/doc/prover9-doc/examples/subset_trans_expand.out
/usr/share/doc/prover9-doc/examples/trans.in
/usr/share/doc/prover9-doc/examples/uc-18.interps
/usr/share/doc/prover9-doc/examples/uc-hunt.clauses
/usr/share/doc/prover9-doc/examples/uc-hunt.out
/usr/share/doc/prover9-doc/examples/weight_test.in
/usr/share/doc/prover9-doc/examples/weight_test.out
/usr/share/doc/prover9-doc/examples/x2.cooked
/usr/share/doc/prover9-doc/examples/x2.in
/usr/share/doc/prover9-doc/examples/x2.mace4.out
/usr/share/doc/prover9-doc/examples/x2.portable
/usr/share/doc/prover9-doc/examples/x2.prover9.out
/usr/share/doc/prover9-doc/examples/x2.raw
/usr/share/doc/prover9-doc/examples/x2.standard
/usr/share/doc/prover9-doc/examples/x2.standard2
/usr/share/doc/prover9-doc/examples/x2.tabular
/usr/share/doc/prover9-doc/examples/x2.tex
/usr/share/doc/prover9-doc/examples/x2.xml
/usr/share/doc/prover9-doc/examples/zebra2.in
/usr/share/doc/prover9-doc/examples/zebra2.out
/usr/share/doc/prover9-doc/html/actions.html
/usr/share/doc/prover9-doc/html/advanced.html
/usr/share/doc/prover9-doc/html/attributes.html
/usr/share/doc/prover9-doc/html/auto.html
/usr/share/doc/prover9-doc/html/clause-properties.html
/usr/share/doc/prover9-doc/html/fof-prover9.html
/usr/share/doc/prover9-doc/html/glossary.html
/usr/share/doc/prover9-doc/html/goals.html
/usr/share/doc/prover9-doc/html/hints.html
/usr/share/doc/prover9-doc/html/index.html
/usr/share/doc/prover9-doc/html/inf-rules.html
/usr/share/doc/prover9-doc/html/input.html
/usr/share/doc/prover9-doc/html/install.html
/usr/share/doc/prover9-doc/html/intro.html
/usr/share/doc/prover9-doc/html/limits.html
/usr/share/doc/prover9-doc/html/loop.html
/usr/share/doc/prover9-doc/html/m4-arithmetic.html
/usr/share/doc/prover9-doc/html/m4-input.html
/usr/share/doc/prover9-doc/html/m4-interpformat.html
/usr/share/doc/prover9-doc/html/m4-isofilter.html
/usr/share/doc/prover9-doc/html/m4-options.html
/usr/share/doc/prover9-doc/html/mace4.html
/usr/share/doc/prover9-doc/html/manual.css
/usr/share/doc/prover9-doc/html/more-prep.html
/usr/share/doc/prover9-doc/html/nav.html
/usr/share/doc/prover9-doc/html/options.html
/usr/share/doc/prover9-doc/html/others.html
/usr/share/doc/prover9-doc/html/output.html
/usr/share/doc/prover9-doc/html/process-inf.html
/usr/share/doc/prover9-doc/html/production.html
/usr/share/doc/prover9-doc/html/prooftrans.html
/usr/share/doc/prover9-doc/html/prover9-5a-256t.gif
/usr/share/doc/prover9-doc/html/references.html
/usr/share/doc/prover9-doc/html/running.html
/usr/share/doc/prover9-doc/html/select.html
/usr/share/doc/prover9-doc/html/select2.html
/usr/share/doc/prover9-doc/html/semantics.html
/usr/share/doc/prover9-doc/html/syntax.html
/usr/share/doc/prover9-doc/html/talk-semantics.html
/usr/share/doc/prover9-doc/html/talk-software.html
/usr/share/doc/prover9-doc/html/term-order.html
/usr/share/doc/prover9-doc/html/weight.html
/usr/share/doc/prover9-doc/html/white-black.html

Changelog

2013-05-03 - tony mancill <tmancill@debian.org>
prover9-manual (0.0.200902a-2) unstable; urgency=low
[ Jari Aalto ]
* QA upload.
* Remove deprecated dpatch and upgrade to packaging format "3.0 quilt"
(Closes: #664351).
* Update to Standards-Version to 3.9.4, debhelper to 9, ${misc:Depends}.
* Add build-arch and build-indep targets; use dh_prep in rules file.
* Move Alioth repository from Bzr to Git (git-buildpackage).
[ tony mancill ]
* Update d/watch.  (Closes: #544791)
- Thanks to both Adam D. Barratt and Bart Martens.
2009-03-15 - Peter Collingbourne <peter@pcc.me.uk>
prover9-manual (0.0.200902a-1) unstable; urgency=low
* New upstream release.
* debian/examples: updated
* debian/control: new Standards-Version
2009-02-17 - Peter Collingbourne <peter@pcc.me.uk>
prover9-manual (0.0.200811a-1) unstable; urgency=low
* New upstream release.
* debian/examples: updated
* debian/control: Vcs-Bzr uses nosmart+http protocol
* debian/control, debian/copyright: changed maintainer email address
(again)
* debian/copyright: changed year to 2009, corrected expression of
copyright, refer to GPL-2 explicitly
* debian/install: eliminated brace expansion
2008-09-13 - Peter Collingbourne <peter@peter.uk.to>
prover9-manual (0.0.200809a-1) unstable; urgency=low
* New upstream release.
* debian/control, debian/copyright: changed maintainer email address
2008-06-29 - Peter Collingbourne <pcc03@doc.ic.ac.uk>
prover9-manual (0.0.200806a-1) unstable; urgency=low
* New upstream release.
* debian/control: new Standards-Version
2008-05-12 - Peter Collingbourne <pcc03@doc.ic.ac.uk>
prover9-manual (0.0.200805a-1) unstable; urgency=low
* New upstream release.
* debian/control: added DM-Upload-Allowed: yes
2008-04-08 - Peter Collingbourne <pcc03@doc.ic.ac.uk>
prover9-manual (0.0.200804a-1) unstable; urgency=low
* New upstream release.
* debian/watch: added support for new version numbering scheme
2008-03-20 - Peter Collingbourne <pcc03@doc.ic.ac.uk>
prover9-manual (0.0.200712-2) unstable; urgency=low
* debian/rules: removed bashism (closes: #471753)
* debian/doc-base: changed Section to a valid value
2008-01-14 - Peter Collingbourne <pcc03@doc.ic.ac.uk>
prover9-manual (0.0.200712-1) unstable; urgency=low
* Initial release (Closes: #437944)
* syntax.html: replaced literal < and > symbols with entities in order to
prevent htmldoc from failing

See Also

Package Description
prover9-mace4_0.5.dfsg-2.2_all.deb GUI for Prover9 and Mace4
prover9_0.0.200911a-2.1_i386.deb theorem prover and countermodel generator
proxsmtp_1.10-2.1_i386.deb multi purpose SMTP Proxy
proxychains_3.1-6_all.deb proxy chains - redirect connections through proxy servers
proxycheck_0.49a-4_i386.deb checks existence of open proxy
proxytrack_3.48.20-1_i386.deb Build HTTP Caches using archived websites copied by HTTrack
proxytunnel_1.9.0+svn250-5_i386.deb Create tcp tunnels trough HTTPS proxies, for using with SSH
prt_0.19-1_all.deb Command line Perl Refactoring Tool
pry_0.10.1-1_all.deb powerful irb alternative and runtime developer console
ps-watcher_1.08-7_all.deb monitoring a system via ps-like commands
ps2eps_1.68+binaryfree-1_i386.deb convert PostScript to EPS (Encapsulated PostScript) files
psad_2.2.3-1_i386.deb Port Scan Attack Detector
pscan_1.2-9_i386.deb Format string security checker for C files
psensor-common_1.1.3-2+deb8u1_all.deb common files for Psensor and Psensor server
psensor-server_1.1.3-2+deb8u1_i386.deb Psensor server for monitoring hardware sensors remotely
Advertisement
Advertisement