ladr 0.0.200911a-2 source package in Ubuntu
Changelog
ladr (0.0.200911a-2) unstable; urgency=low * QA upload. * Upload to unstable. * Change maintainer to QA group. -- Frank Lichtenheld <email address hidden> Sat, 25 May 2013 11:43:32 +0200
Upload details
- Uploaded by:
- Debian QA Group
- Uploaded to:
- Sid
- Original maintainer:
- Debian QA Group
- Architectures:
- any
- Section:
- math
- Urgency:
- Low Urgency
See full publishing history Publishing
Series | Published | Component | Section | |
---|---|---|---|---|
Trusty | release | universe | math |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
ladr_0.0.200911a-2.dsc | 1.3 KiB | b4434664e4d7536614273499be6bfd763013c1fd29125bb59e3795b744b41283 |
ladr_0.0.200911a.orig.tar.gz | 1.7 MiB | c32bed5807000c0b7161c276e50d9ca0af0cb248df2c1affb2f6fc02471b51d0 |
ladr_0.0.200911a-2.debian.tar.gz | 22.0 KiB | 55571d1ae8c3ef0203d833679952db79848b4e2147e6ead319a3d872988cad93 |
Available diffs
- diff from 0.0.200902a-2.1 to 0.0.200911a-2 (187.3 KiB)
No changes file available.
Binary packages built by this source
- ladr4-apps: No summary available for ladr4-apps in ubuntu saucy.
No description available for ladr4-apps in ubuntu saucy.
- libladr-dev: No summary available for libladr-dev in ubuntu saucy.
No description available for libladr-dev in ubuntu saucy.
- libladr4: the LADR deduction library
LADR (Library for Automated Deduction Research) is a library for
use in constructing theorem provers. Among other useful routines it
provides facilities for applying inference rules such as resolution
and paramodulation to clauses. LADR is used by the prover9 theorem
prover, and by the mace4 countermodel generator.
- prover9: No summary available for prover9 in ubuntu saucy.
No description available for prover9 in ubuntu saucy.