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

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

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)