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.
ladr (0.0.200902a-2.1) unstable; urgency=low
* Non-maintainer upload.
- it drops -lm but it is needed for binutils-gold (Closes: #555074)
-- Hideki Yamane <email@example.com> Sun, 08 Jan 2012 10:10:29 +0900
ladr (0.0.200902a-2) unstable; urgency=low
* Merged from Ubuntu, fixes FTBFS (closes: #526541)
- Drop -shared from the libtool command
-------- LADR 2009-02A ----------
February 1-24, 2009.
Prover9. New "production mode" which uses hyperresolution
along with new rewriting system (conditional rewrite rules
and ability to rewrite atomic formulas) to do things like
forward-chaining state-space searches. See the HTML manual
"More Features -> Production Mode".
February 19, 2009.
Prover9. New parm eval_var_limit (for semanti
This package was debianized by Peter Collingbourne <firstname.lastname@example.org> on
Sat, 11 Aug 2007 23:22:34 +0100.
It was downloaded from <http://www.cs.unm.edu/~mccune/mace4/download/>
William McCune <email@example.com>
David A. Wheeler <firstname.lastname@example.org>
utilities/gvizify: Copyright (C) 2007 David A. Wheeler
Other files: Copyright (C) 2006, 2007 Wil
Browse inside libladr4_0.0.200902a-2.1_mips.deb
Results 1 - 1 of 1Search over 15 billion files
© 1997-2017 FileWatcher.com