-------------------------------------------------------------------------------- Fedora Update Notification FEDORA-2009-8289 2009-08-05 00:00:26 --------------------------------------------------------------------------------
Name : alt-ergo Product : Fedora 11 Version : 0.9 Release : 1.fc11 URL : http://alt-ergo.lri.fr Summary : Alt-Ergo automatic theorem prover 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. -------------------------------------------------------------------------------- Update Information: New upstream version with a few new capabilities. From their changelog: o support AC symbols o support for C-like hexadecimal floating-point constants o handles the division operator -------------------------------------------------------------------------------- ChangeLog: * Fri Jul 24 2009 Alan Dunn <amd...@gmail.com> 0.9-1 - New upstream version - Removed code for check for Fedora version (8) that is EOL - Removed comments re: CeCILL-C license as it is ok to have (no rpmlint warnings to explain either). * Wed Jun 17 2009 Karsten Hopp <kars...@redhat.com> 0.8-5.1 - ExcludeArch s390x as there's no ocaml available -------------------------------------------------------------------------------- This update can be installed with the "yum" update program. Use su -c 'yum update alt-ergo' at the command line. For more information, refer to "Managing Software with yum", available at http://docs.fedoraproject.org/yum/. All packages are signed with the Fedora Project GPG key. More details on the GPG keys used by the Fedora Project can be found at http://fedoraproject.org/keys -------------------------------------------------------------------------------- _______________________________________________ Fedora-package-announce mailing list Fedora-package-announce@redhat.com http://www.redhat.com/mailman/listinfo/fedora-package-announce