Package: wnpp Severity: wishlist Owner: Peter Collingbourne <[EMAIL PROTECTED]>
* Package name : prover9-doc Version : 0.0.200708 Upstream Author : William McCune <[EMAIL PROTECTED]> * 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 -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]