spass_3.7-3_i386.deb


Advertisement

Description

spass - An automated theorem prover for first-order logic with equality

Distribution: Ubuntu 16.04 LTS (Xenial Xerus)
Repository: Ubuntu Universe i386
Package name: spass
Package version: 3.7
Package release: 3
Package architecture: i386
Package type: deb
Installed size: 3.99 KB
Download size: 2.04 MB
Official Mirror: archive.ubuntu.com
SPASS is a saturation-based automated theorem prover for first-order logic with equality. It is unique due to the combination of the superposition calculus with specific inference/reduction rules for sorts (types) and a splitting rule for case analysis motivated by the beta-rule of analytic tableaux and the case analysis employed in the Davis-Putnam procedure. Furthermore, SPASS provides a sophisticated clause normal form translation. This package consists of the SPASS/FLOTTER binary, documentation, and a small example collection. The tools collections contain the proof checker pcs, the syntax translators dfg2otter and dfg2tptp, and the ASCII pretty printer dfg2ascii. For more information, additional and partly huge example collections, consider the project homepage at http://spass.mpi-sb.mpg.de/.

Alternatives

    Download

    Binary package: spass_3.7-3_i386.deb
    Source package: spass

    Install Howto

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

    Files

    • /usr/bin/FLOTTER
    • /usr/bin/SPASS
    • /usr/bin/dfg2ascii
    • /usr/bin/dfg2dfg
    • /usr/bin/dfg2otter
    • /usr/bin/dfg2otter.pl
    • /usr/bin/dfg2tptp
    • /usr/bin/tptp2dfg
    • /usr/share/doc/spass/README
    • /usr/share/doc/spass/VERSIONHISTORY.gz
    • /usr/share/doc/spass/changelog.Debian.gz
    • /usr/share/doc/spass/copyright
    • /usr/share/doc/spass/handbook-spass.pdf.gz
    • /usr/share/doc/spass/spass-input-syntax.pdf.gz
    • /usr/share/doc/spass/tutorial.pdf.gz
    • /usr/share/doc/spass/examples/problem54.dfg
    • /usr/share/lintian/overrides/spass
    • /usr/share/man/man1/FLOTTER.1.gz
    • /usr/share/man/man1/SPASS.1.gz
    • /usr/share/man/man1/dfg2ascii.1.gz
    • /usr/share/man/man1/dfg2dfg.1.gz
    • /usr/share/man/man1/dfg2otter.1.gz
    • /usr/share/man/man1/dfg2otter.pl.1.gz
    • /usr/share/man/man1/dfg2tptp.1.gz
    • /usr/share/man/man1/tptp2dfg.1.gz
    • /usr/share/spass/html/LICENCE.html
    • /usr/share/spass/html/script.html
    • /usr/share/spass/html/script_1.html
    • /usr/share/spass/html/script_2.html
    • /usr/share/spass/html/script_3.html
    • /usr/share/spass/html/script_4.html
    • /usr/share/spass/html/script_5.html
    • /usr/share/spass/html/script_6.html
    • /usr/share/spass/html/script_7.html
    • /usr/share/spass/html/script_abt.html
    • /usr/share/spass/html/script_ovr.html
    • /usr/share/spass/pdf/handbook-spass.pdf
    • /usr/share/spass/pdf/spass-input-syntax.pdf
    • /usr/share/spass/pdf/tutorial.pdf

    Changelog

    2011-08-15 - Roland Stigge <stigge@antcom.de> spass (3.7-3) unstable; urgency=low * Added debian/watch

    2010-06-29 - Roland Stigge <stigge@antcom.de> spass (3.7-2) unstable; urgency=low * Remove debian patches to broken texinfo files until fixed upstream * debian/control: Standards-Version: 3.9.0

    2010-06-27 - Roland Stigge <stigge@antcom.de> spass (3.7-1) unstable; urgency=low * New upstream release

    2010-06-27 - Roland Stigge <stigge@antcom.de> spass (2.1-5) unstable; urgency=low * Moved to source format 3.0 (quilt) * debian/control: Standards-Version: 3.8.4

    2008-08-17 - Roland Stigge <stigge@antcom.de> spass (2.1-4) unstable; urgency=low * debian/rules: Removed DEB_BASE_DIR (Closes: #495149) * debian/control: Standards-Version: 3.8.0 * debian/compat: 7

    2003-10-13 - Roland Stigge <stigge@antcom.de> spass (2.1-3) unstable; urgency=low * Updated Description

    2003-10-11 - Roland Stigge <stigge@antcom.de> spass (2.1-2) unstable; urgency=low * New maintainer (Closes: #214950) * Set debhelper version compatibility level to 4 * Adjusted debian/copyright * Standards-Version: 3.6.1

    2003-05-17 - Marco Kuhlmann <mk@debian.org> spass (2.1-1) unstable; urgency=low * new upstream release * use fixed versions of man pages (thanks to Dalibor Topic) * debian/control: upgraded to new version of Debian policy

    2002-10-01 - Marco Kuhlmann <mk@debian.org> spass (2.0-4) unstable; urgency=low * added manpages for dfg2ascii, dfg2otter, dfg2tptp (closes: #159334) * debian/control: changed the description * debian/control: upgraded to new version of Debian policy

    2002-09-02 - Marco Kuhlmann <mk@debian.org> spass (2.0-3) unstable; urgency=low * debian/rules: actually build the architecture dependent packages in binary-arch (closes: #159238)

    Advertisement
    Advertisement