[Bug 460244] New: Review Request: alt-ergo - Alt-Ergo automatic theorem prover
bugzilla at redhat.com
bugzilla at redhat.com
Wed Aug 27 00:09:25 UTC 2008
Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug.
Summary: Review Request: alt-ergo - Alt-Ergo automatic theorem prover
https://bugzilla.redhat.com/show_bug.cgi?id=460244
Summary: Review Request: alt-ergo - Alt-Ergo automatic theorem
prover
Product: Fedora
Version: rawhide
Platform: All
OS/Version: Linux
Status: NEW
Severity: medium
Priority: medium
Component: Package Review
AssignedTo: nobody at fedoraproject.org
ReportedBy: amdunn at gmail.com
QAContact: extras-qa at fedoraproject.org
CC: notting at redhat.com, fedora-package-review at redhat.com
Estimated Hours: 0.0
Classification: Fedora
Spec URL: http://www.duke.edu/~amd34/alt-ergo/alt-ergo.spec
SRPM URL: http://www.duke.edu/~amd34/alt-ergo/alt-ergo-0.8-2.fc9.src.rpm
Description:
Alt-Ergo is an automated theorem prover implemented in OCaml. It is
based on CC(X) - a congruence closure algorithm parameterized by an
equational theory X. This algorithm is reminiscent of the Shostak
algorithm. Currently CC(X) is instantiated by the theory of linear
arithmetics. Alt-Ergo also contains a home made SAT-solver and an
instantiation mechanism by which it fully supports quantifiers.
--
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.
More information about the package-review
mailing list