spass_3.7-3_i386.deb


Advertisement

Description

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

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

Package Version Architecture Repository
spass_3.7-3_amd64.deb 3.7 amd64 Ubuntu Universe
spass - - -

Requires

Name Value
dpkg >= 1.15.4
install-info -
libc6 >= 2.4

Download

Type URL
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

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

See Also

Package Description
spatialite-bin_4.3.0-2_i386.deb Geospatial extension for SQLite - tools
spatialite-gui_2.0.0~devel2-2_i386.deb user-friendly graphical user interface for SpatiaLite
spawn-fcgi_1.6.4-1_i386.deb FastCGI process spawner
spd_1.3.0-1ubuntu1_i386.deb Synchrotron image corrections and azimuthal integration
spe_0.8.4.h-3.2_all.deb Stani's Python Editor
speakup-doc_3.1.6.dfsg.1-3_all.deb Documentation for speakup kernel modules
speakup-tools_0.0~git20121016.1-2_all.deb Tools to customize speakup module
spectacle_0.25-1_all.deb RPM Spec file generator and management tool
specto_0.3.1-0ubuntu3_all.deb Unobtrusive update notification program
spectools_201108r1-7_i386.deb Utilities for using the Wi-Spy USB spectrum analyzer hardware
spectrwm_2.6.0-1ubuntu2_i386.deb dynamic tiling window manager
speech-dispatcher-doc-cs_0.8.3-1ubuntu3_all.deb Speech Dispatcher documentation in Czech
speech-dispatcher-festival_0.8.3-1ubuntu3_i386.deb Festival support for Speech Dispatcher
speech-dispatcher-flite_0.8.3-1ubuntu3_i386.deb Speech Dispatcher: Flite output module
speech-tools-doc_2.4~release-1build1_all.deb Documentation for the Edinburgh Speech Tools
Advertisement
Advertisement