Linux Archive

Linux Archive (http://www.linux-archive.org/)
-   Debian Development (http://www.linux-archive.org/debian-development/)
-   -   Bug#460813: ITP: p9m4 -- GUI for Prover9 and Mace4 (http://www.linux-archive.org/debian-development/37632-bug-460813-itp-p9m4-gui-prover9-mace4.html)

Peter Collingbourne 01-15-2008 12:29 AM

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


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.