the LADR deduction library, development files
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.
This package provides development support files for LADR.
ladr (0.0.200902a-2) unstable; urgency=low
* Merged from Ubuntu, fixes FTBFS (closes: #526541)
- Drop -shared from the libtool command to make libladr.la in
debian/patches/01-libtoolise.dpatch so that both the shared and
static libraries are built. The .install file tries to install both,
and if -shared is passed the .a isn't built and the package fails
to build. Thi
-------- 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 <email@example.com> on
Sat, 11 Aug 2007 23:22:34 +0100.
It was downloaded from <http://www.cs.unm.edu/~mccune/mace4/download/>
William McCune <firstname.lastname@example.org>
David A. Wheeler <email@example.com>
utilities/gvizify: Copyright (C) 2007 David A. Wheeler
Other files: Copyright (C) 2006, 2007 Wil
Browse inside libladr-dev_0.0.200902a-2_amd64.deb
Results 1 - 1 of 1Search over 15 billion files
© 1997-2017 FileWatcher.com