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.1
Architecture:kfreebsd-amd64
Distribution:Debian
Filename:libladr-dev_0.0.200902a-2.1_kfreebsd-amd64.deb

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

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

  * Non-maintainer upload.
  * debian/patches/01-libtoolise.dpatch
    - it drops -lm but it is needed for binutils-gold (Closes: #555074)

 -- Hideki Yamane <henrich@debian.org>  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
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.1_kfreebsd-amd64.deb

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

Download libladr-dev_0.0.200902a-2.1_kfreebsd-amd64.deb

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