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.200806a-1
Architecture:amd64
Distribution:Debian
Filename:libladr-dev_0.0.200806a-1_amd64.deb

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

ladr (0.0.200806a-1) unstable; urgency=low

  * New upstream release.
  * debian/patches/01-libtoolise.dpatch: new source file weight2.c
  * debian/libladr4.symbols: updated
  * debian/control: new Standards-Version, updated for new prover9-doc
  * debian/prooftrans.1: documented new tagged format

 -- Peter Collingbourne <pcc03@doc.ic.ac.uk>  Sun, 29 Jun 2008 03:23:16 +0100

ladr (0.0.200805a-1) 
more»

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

---------------------------------------
THE MOST RECENT ENTRIES ARE AT THE END!
---------------------------------------

June 30, 2005
	Sent to Geoff Sutcliffe for CASC:
	--------- LADR-July-2005 ----------

July 1, 2005
	Geoff points out that it can't prove a really easy theorem.
	Fixed a completeness problem with predicate elimination and equality.
	LADR-July-2005B sent to Geoff for CASC.

July 
more»

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

This package was debianized by Peter Collingbourne <pcc03@doc.ic.ac.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 
more»

Browse inside libladr-dev_0.0.200806a-1_amd64.deb

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

Download libladr-dev_0.0.200806a-1_amd64.deb

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