prover9-doc_0.0.200902a-2_all.deb


Advertisement

Description

prover9-doc - documentation for Prover9 and associated programs

Distribution: Ubuntu 16.04 LTS (Xenial Xerus)
Repository: Ubuntu Universe amd64
Package name: prover9-doc
Package version: 0.0.200902a
Package release: 2
Package architecture: all
Package type: deb
Installed size: 3.05 KB
Download size: 943.98 KB
Official Mirror: archive.ubuntu.com
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

    Download

    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

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

    Advertisement
    Advertisement