Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

alt-ergo-0.8-3.fc8 RPM for i386

From Fedora 8 updates for i386

Name: alt-ergo Distribution: Unknown
Version: 0.8 Vendor: Fedora Project
Release: 3.fc8 Build date: Sat Sep 6 04:02:53 2008
Group: Applications/Engineering Build host: x86-3.fedora.phx.redhat.com
Size: 1079100 Source RPM: alt-ergo-0.8-3.fc8.src.rpm
Packager: Fedora Project
Url: http://alt-ergo.lri.fr
Summary: Alt-Ergo automatic theorem prover
 
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.

Provides

Requires

Copyright

CeCILL-C

Signatures

internal MD5: 66251eabb418033db36c8d5b67c1aeaf

GPG

Changelog

* Sat Sep 06 2008 Alan Dunn <amdunn@gmail.com> 0.8-3
  - Fixed BuildRequires to add prelink (for execstack).
* Wed Aug 27 2008 Alan Dunn <amdunn@gmail.com> 0.8-2
  - Fixed BuildRequires to add ocaml-ocamlgraph-devel instead of
    ocaml-ocamlgraph, made other minor changes.
* Tue Aug 26 2008 Alan Dunn <amdunn@gmail.com> 0.8-1
  - Initial Fedora RPM version.

Files

/usr/bin/alt-ergo
/usr/share/alt-ergo
/usr/share/alt-ergo/smt_prelude.mlw
/usr/share/doc/alt-ergo-0.8
/usr/share/doc/alt-ergo-0.8/CHANGES
/usr/share/doc/alt-ergo-0.8/COPYING
/usr/share/doc/alt-ergo-0.8/CeCILL-C
/usr/share/doc/alt-ergo-0.8/README.alt-ergo
/usr/share/man/man1/alt-ergo.1.gz

Generated by rpm2html 1.8.1

Fabrice Bellet, Mon Dec 1 05:53:54 2008