Package: prover9-mace4
Source: p9m4
Version: 0.5.dfsg-2.1
Architecture: all
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Peter Collingbourne <peter@pcc.me.uk>
Installed-Size: 325
Depends: python, python-support (>= 0.90.0), python-wxgtk2.8, prover9 (>= 0.0.200712-1)
Section: math
Priority: optional
Homepage: http://www.cs.unm.edu/~mccune/mace4/
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.
