Filewatcher File Search File Search
Content Search
» » » » »


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.
Package version:0.0.200902a-2


ladr (0.0.200902a-2) unstable; urgency=low

  * Merged from Ubuntu, fixes FTBFS (closes: #526541)
    - Drop -shared from the libtool command to make 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 <> on
Sat, 11 Aug 2007 23:22:34 +0100.

It was downloaded from <>

Upstream Authors: 

    William McCune <>
    David A. Wheeler <>


    utilities/gvizify: Copyright (C) 2007 David A. Wheeler
    Other files: Copyright (C) 2006, 2007 Wil

Browse inside libladr4_0.0.200902a-2_amd64.deb

         [DIR]DEBIAN/ (6)  65535+ mirrors
         [DIR]usr/ (2)  65535+ mirrors

Download libladr4_0.0.200902a-2_amd64.deb

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2017