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

libladr-dev

the LADR deduction library, development files

Variants:
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.

Homepage:
Package version:0.0.200902a-2
Architecture:amd64
Distribution:Debian
Filename:libladr-dev_0.0.200902a-2_amd64.deb

/usr/share/doc/libladr-dev/changelog.Debian.gz

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
more»

/usr/share/doc/libladr-dev/changelog.gz

-------- 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
more»

/usr/share/doc/libladr-dev/copyright

This package was debianized by Peter Collingbourne <peter@pcc.me.uk> on
Sat, 11 Aug 2007 23:22:34 +0100.

It was downloaded from <http://www.cs.unm.edu/~mccune/mace4/download/>

Upstream Authors: 

    William McCune <mccune@cs.unm.edu>
    David A. Wheeler <dwheeler@dwheeler.com>

Copyright: 

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

Browse inside libladr-dev_0.0.200902a-2_amd64.deb

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

Download libladr-dev_0.0.200902a-2_amd64.deb

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