Package: wnpp Severity: wishlist Owner: Peter Collingbourne <[EMAIL PROTECTED]>
* Package name : p9m4 Version : 0.5 Upstream Author : William McCune <[EMAIL PROTECTED]> * URL : http://www.cs.unm.edu/~mccune/mace4/ * License : GPL Programming Lang: Python Description : GUI for Prover9 and Mace4 This package provides a graphical user interface for easily running the Prover9 theorem prover and the Mace4 countermodel generator along with a number of sample input files. -- System Information: Debian Release: 4.0 APT prefers stable APT policy: (500, 'stable') Architecture: i386 (i686) Shell: /bin/sh linked to /bin/bash Kernel: Linux 2.6.18-5-686-bigmem Locale: LANG=en_GB.UTF-8, LC_CTYPE=en_GB.UTF-8 (charmap=UTF-8) -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
