Bug#437944: ITP: prover9-doc -- documentation for Prover9 and associated programs

[Peter Collingbourne <pcc03@doc.ic.ac.uk>]

Package: wnpp
Severity: wishlist
Owner: Peter Collingbourne <pcc03@doc.ic.ac.uk>


* Package name    : prover9-doc
  Version         : 0.0.200708
  Upstream Author : William McCune <mccune@cs.unm.edu>
* URL             : http://www.cs.unm.edu/~mccune/mace4/
* License         : GPL
  Programming Lang: n/a
  Description     : documentation for Prover9 and associated programs

 This is the documentation package for prover9 etc., which has its own
 ITP located at bug #437936.  It is being packaged separately because
 upstream distributes the documentation separately from the applications.

 Prover9 is an automated theorem prover for first-order and equational
 logic. It is a successor of the Otter prover.  Prover9 uses the
 inference techniques of ordered resolution and paramodulation with
 literal selection.
 .
 This package provides documentation for Prover9, Mace4 and other
 associated programs.

-- System Information:
Debian Release: lenny/sid
  APT prefers testing
  APT policy: (500, 'testing')
Architecture: i386 (i686)

Kernel: Linux 2.6.15-1-686
Locale: LANG=en_GB.UTF-8, LC_CTYPE=en_GB.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/bash