[Bug 451996] Review Request: prover9 - Thereom Prover and Countermodel Generator

[bugzilla at redhat.com]

Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug.


https://bugzilla.redhat.com/show_bug.cgi?id=451996





--- Comment #18 from Tim Colles <timc at inf.ed.ac.uk>  2008-08-04 10:16:20 EDT ---
New Package CVS Request
=======================
Package Name: prover9
Short Description: Thereom Prover and Countermodel Generator
Owners: tcolles
Branches: F-9 EL-5
InitialCC: tcolles
Cvsextras Commits: yes

-- 
Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.