-------------------------------------------------------------------------------- Fedora Update Notification FEDORA-2010-16063 2010-10-10 02:00:38 --------------------------------------------------------------------------------
Name : alt-ergo Product : Fedora 14 Version : 0.92.1 Release : 1.fc14 URL : http://alt-ergo.lri.fr Summary : Automated theorem prover including linear arithmetic 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: Update to version 0.92.1. -------------------------------------------------------------------------------- ChangeLog: * Wed Oct 6 2010 David A. Wheeler <[email protected]> 0.92.1-1 - Update to version 0.92.1. This means: - New built-in syntax for the theory of arrays - Fixes a bug in the arithmetic module - Allows folding and unfolding of predicate definitions * Tue Jun 8 2010 David A. Wheeler <[email protected]> 0.91-1 - Update to version 0.91. This means: - partial support for non-linear arithmetics - support case split on integer variables - new support for Euclidean division and modulo operators -------------------------------------------------------------------------------- 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 https://fedoraproject.org/keys -------------------------------------------------------------------------------- _______________________________________________ package-announce mailing list [email protected] https://admin.fedoraproject.org/mailman/listinfo/package-announce
