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@xxxxxxxxxxxxxxxxx ReportedBy: amdunn@xxxxxxxxx QAContact: extras-qa@xxxxxxxxxxxxxxxxx CC: notting@xxxxxxxxxx, fedora-package-review@xxxxxxxxxx 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. _______________________________________________ Fedora-package-review mailing list Fedora-package-review@xxxxxxxxxx http://www.redhat.com/mailman/listinfo/fedora-package-review