Linux Archive

Linux Archive (
-   Debian Development (
-   -   Bug#460813: ITP: p9m4 -- GUI for Prover9 and Mace4 (

Peter Collingbourne 01-15-2008 12:29 AM

Bug#460813: ITP: p9m4 -- GUI for Prover9 and Mace4
Package: wnpp
Severity: wishlist
Owner: Peter Collingbourne <>

* Package name : p9m4
Version : 0.5
Upstream Author : William McCune <>
* URL :
* 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
with a subject of "unsubscribe". Trouble? Contact

All times are GMT. The time now is 10:53 AM.

VBulletin, Copyright ©2000 - 2014, Jelsoft Enterprises Ltd.
Content Relevant URLs by vBSEO ©2007, Crawlability, Inc.