Bug#460813: ITP: p9m4 -- GUI for Prover9 and Mace4
 

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


* Package name : p9m4
Version : 0.5
Upstream Author : William McCune <mccune@cs.unm.edu>
* 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 debian-devel-REQUEST@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org