Package: prover9-mace4
Source: p9m4
Version: 0.5.dfsg-3
Architecture: all
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian QA Group <packages@qa.debian.org>
Installed-Size: 265
Depends: python:any (>= 2.7.5-5~), python-wxgtk3.0, 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.
