398021 – prover9 mace4 gui ebuild

Bug 398021 - prover9 mace4 gui ebuild

Summary: prover9 mace4 gui ebuild

Status:	RESOLVED FIXED

Alias:	None

Product:	Gentoo Linux
Classification:	Unclassified
Component:	New packages (show other bugs)
Hardware:	AMD64 Linux

Importance:	Normal enhancement (vote)
Assignee:	Mark Wright

URL:
Whiteboard:
Keywords:

Depends on:
Blocks:

Reported:	2012-01-07 13:42 UTC by Mark Wright
Modified:	2012-01-30 05:19 UTC (History)
CC List:	0 users

See Also:
Package list:
Runtime testing required:	---

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.

Description Mark Wright gentoo-dev

2012-01-07 13:42:42 UTC

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.
I will commit this to the cvs portage tree, adding the ebuild to the patch
first in case someone wants to review it.
For sci-mathematics/prover9 see https://bugs.gentoo.org/show_bug.cgi?id=49205

Reproducible: Didn't try

Comment 1 Mark Wright gentoo-dev

2012-01-30 05:19:35 UTC

sci-mathematics/p9m4 added to tree