Ubuntu
ladr package

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 Pocket 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

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.