--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2020-f3fbdd3aa9
2020-06-29 01:59:39.772623
--------------------------------------------------------------------------------
Name : alt-ergo
Product : Fedora 32
Version : 2.2.0
Release : 1.fc32
URL :
https://alt-ergo.ocamlpro.com/
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:
Version 2.1.0 of alt-ergo changed the default SAT engine to the CDCL solver.
Version 2.2.0 of alt-ergo added experimental support for (a polymorphic
extension of) SMT-LIB 2.
--------------------------------------------------------------------------------
ChangeLog:
* Fri Jun 19 2020 Jerry James <loganjerry(a)gmail.com> - 2.2.0-1
- Version 2.2.0
- Drop upstreamed -newline patch
--------------------------------------------------------------------------------
This update can be installed with the "dnf" update program. Use
su -c 'dnf upgrade --advisory FEDORA-2020-f3fbdd3aa9' at the command
line. For more information, refer to the dnf documentation available at
http://dnf.readthedocs.io/en/latest/command_ref.html#upgrade-command-label
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
--------------------------------------------------------------------------------