prover9_0.0.200911a-2.1_amd64.deb


Advertisement

Description

prover9 - theorem prover and countermodel generator

Property Value
Distribution Debian 8 (Jessie)
Repository Debian Main amd64
Package name prover9
Package version 0.0.200911a
Package release 2.1
Package architecture amd64
Package type deb
Installed size 305 B
Download size 97.58 KB
Official Mirror ftp.br.debian.org
This package provides the Prover9 resolution/paramodulation theorem
prover and the Mace4 countermodel generator.
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.
The program Mace4 searches for finite structures satisfying first-order
and equational statements, the same kind of statement that Prover9
accepts. If the statement is the denial of some conjecture, any
structures found by Mace4 are counterexamples to the conjecture.
Mace4 can be a valuable complement to Prover9, looking for
counterexamples before (or at the same time as) using Prover9 to search
for a proof. It can also be used to help debug input clauses and formulas
for Prover9.

Alternatives

Package Version Architecture Repository
prover9_0.0.200911a-2.1_i386.deb 0.0.200911a i386 Debian Main
prover9 - - -

Requires

Name Value
libc6 >= 2.7
libladr4 >= 0.0.200911a-1

Download

Type URL
Binary Package prover9_0.0.200911a-2.1_amd64.deb
Source Package ladr

Install Howto

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

Files

Path
/usr/bin/interpformat
/usr/bin/isofilter
/usr/bin/isofilter0
/usr/bin/isofilter2
/usr/bin/mace4
/usr/bin/prooftrans
/usr/bin/prover9
/usr/share/doc/prover9/changelog.Debian.gz
/usr/share/doc/prover9/changelog.gz
/usr/share/doc/prover9/copyright
/usr/share/doc/prover9/examples/mace4.examples/README
/usr/share/doc/prover9/examples/mace4.examples/group2.in
/usr/share/doc/prover9/examples/mace4.examples/rw1.in
/usr/share/doc/prover9/examples/prover9.examples/README
/usr/share/doc/prover9/examples/prover9.examples/x2.hints
/usr/share/doc/prover9/examples/prover9.examples/x2.in
/usr/share/doc/prover9/examples/prover9.examples/x2.out.gz
/usr/share/man/man1/interpformat.1.gz
/usr/share/man/man1/isofilter.1.gz
/usr/share/man/man1/isofilter0.1.gz
/usr/share/man/man1/isofilter2.1.gz
/usr/share/man/man1/mace4.1.gz
/usr/share/man/man1/prooftrans.1.gz
/usr/share/man/man1/prover9.1.gz

Changelog

2014-10-09 - Matthias Klose <doko@debian.org>
ladr (0.0.200911a-2.1) unstable; urgency=medium
* Non-maintainer upload.
* Build-depend on libtool-bin. Closes: #761761.
2013-05-25 - Frank Lichtenheld <djpig@debian.org>
ladr (0.0.200911a-2) unstable; urgency=low
* QA upload.
* Upload to unstable.
* Change maintainer to QA group.
2012-12-13 - Hideki Yamane <henrich@debian.org>
ladr (0.0.200911a-1) experimental; urgency=low
* QA upload.
* New upstream release
* debian/watch
- update to deal with obsolete Perl's regrex (Closes: #544790)
Thanks to Adam D. Barratt <adam@adam-barratt.org.uk> 
* debian/rules
- convert to dh7 style
- pass "all" to dh_auto_build
* debian/patches: convert to use quilt and refresh
* debian/source/format: specify "3.0 (quilt)"
* debian/control
- drop "Build-Depends: dpatch"
- remove unnecessary "DM-Upload-Allowed: yes" line
- use Multi-Arch
- set "Standards-Version: 3.9.4"
* debian/compat: set 7
* {libladr4,libladr-dev}.install
- adjust install directroy
- don't install *.la files
- don't install *.so files in -dev package
* debian/libladr4.symbols: update
2012-01-08 - Hideki Yamane <henrich@debian.org>
ladr (0.0.200902a-2.1) unstable; urgency=low
* Non-maintainer upload.
* debian/patches/01-libtoolise.dpatch
- it drops -lm but it is needed for binutils-gold (Closes: #555074)
2009-05-03 - Peter Collingbourne <peter@pcc.me.uk>
ladr (0.0.200902a-2) unstable; urgency=low
* Merged from Ubuntu, fixes FTBFS (closes: #526541)
- Drop -shared from the libtool command to make libladr.la in
debian/patches/01-libtoolise.dpatch so that both the shared and
static libraries are built. The .install file tries to install both,
and if -shared is passed the .a isn't built and the package fails
to build. This appears to be a change in libtool behaviour.
2009-03-14 - Peter Collingbourne <peter@pcc.me.uk>
ladr (0.0.200902a-1) unstable; urgency=low
* New upstream release.
* debian/control: updated for new prover9-doc
* debian/ladr4-apps.install, debian/ladr4-apps.links: new application
complex, removed application rewriter2
* debian/libladr4.symbols: updated
* debian/control: new Standards-Version
2009-02-17 - Peter Collingbourne <peter@pcc.me.uk>
ladr (0.0.200811a-1) unstable; urgency=low
* New upstream release.
* debian/interpformat.1: documented option "wrap"
* debian/patches/01-libtoolise.dpatch: updated from common
* debian/libladr4.symbols: updated
* debian/control: updated for new prover9-doc
* debian/control: Vcs-Bzr uses nosmart+http protocol
* debian/clausefilter.1, debian/clausetester.1, debian/control,
debian/copyright, debian/interpfilter.1, debian/interpformat.1,
debian/isofilter.1, debian/ladr4-apps.1,
debian/ladr4-apps.README.Debian, debian/mace4.1,
debian/prooftrans.1, debian/prover9.1, debian/rewriter.1: changed
maintainer email address (again)
* debian/ladr4-apps.install, debian/ladr4-apps.links: new application
rewriter2
* debian/control: do not duplicate "Section" field for binary packages
* debian/copyright: changed year to 2009, corrected expression of
copyright, refer to GPL-2 explicitly
2008-09-13 - Peter Collingbourne <peter@peter.uk.to>
ladr (0.0.200809a-1) unstable; urgency=low
* New upstream release.
* debian/patches/01-libtoolise.dpatch: new programmatic patch script,
original version by Heinz Wiesinger <pprkut@liwjatan.at>
* debian/control: updated for new prover9-doc
* debian/libladr4.symbols: updated
* debian/clausefilter.1, debian/clausetester.1, debian/control,
debian/copyright, debian/interpfilter.1, debian/interpformat.1,
debian/isofilter.1, debian/ladr4-apps.1,
debian/ladr4-apps.README.Debian, debian/mace4.1,
debian/prooftrans.1, debian/prover9.1, debian/rewriter.1: changed
maintainer email address

See Also

Package Description
proxsmtp_1.10-2.1_amd64.deb multi purpose SMTP Proxy
proxychains_3.1-6_all.deb proxy chains - redirect connections through proxy servers
proxycheck_0.49a-4_amd64.deb checks existence of open proxy
proxytrack_3.48.20-1_amd64.deb Build HTTP Caches using archived websites copied by HTTrack
proxytunnel_1.9.0+svn250-5_amd64.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_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_1.1.3-2+deb8u1_all.deb common files for Psensor and Psensor server
psensor-server_1.1.3-2+deb8u1_amd64.deb Psensor server for monitoring hardware sensors remotely
psensor_1.1.3-2+deb8u1_amd64.deb display graphs for monitoring hardware temperature
psf-unifont_7.0.06-1_all.deb PSF (console) version of GNU Unifont with APL support
Advertisement
Advertisement