spass 3.9-1.1 source package in Ubuntu
Changelog
spass (3.9-1.1) unstable; urgency=medium * Non-maintainer upload. * Workaround parallel FTBFS by disabling parallel building. (Closes: #976928) -- Adrian Bunk <email address hidden> Thu, 21 Jan 2021 17:21:50 +0200
Upload details
- Uploaded by:
- Debian Science Team
- Uploaded to:
- Sid
- Original maintainer:
- Debian Science Team
- Architectures:
- any
- Section:
- science
- Urgency:
- Medium Urgency
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
spass_3.9-1.1.dsc | 2.0 KiB | a858ac125e15f54d66418c57ad02abf9b43c781295d640466e4d96c2a6ba4c12 |
spass_3.9.orig.tar.gz | 547.4 KiB | cdf40431a3ddecd62b168f5321002a804825f8a74c006f08b8b54272c5adc26d |
spass_3.9-1.1.debian.tar.xz | 3.9 KiB | e0b1d75f3cb79b9863571c644b52ec31d57874e030b2bf6dbbccb7c016424fcb |
Available diffs
- diff from 3.9-1 to 3.9-1.1 (430 bytes)
No changes file available.
Binary packages built by this source
- spass: automated theorem prover for first-order logic with equality
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.
- spass-dbgsym: debug symbols for spass