2018_03_14_release_of_alt_ergo_2_1_0.md 787 Bytes
Newer Older
Dario Pinto's avatar
Dario Pinto committed
1 2 3 4 5 6 7 8 9 10 11 12
title=Release of Alt-Ergo 2.1.0 
authors=Mohamed Iguernlala
category=Formal Methods

A new release of Alt-Ergo (version 2.1.0) is available on Alt-Ergo's website: [https://alt-ergo.ocamlpro.com/#releases](https://alt-ergo.ocamlpro.com/#releases). An OPAM package for it will be published soon.

In this release, we mainly improved the CDCL-based SAT solver to get performances similar to/better than the old Tableaux-like SAT. The CDCL solver is now the default Boolean reasoner. The full list of CHANGES is available [here](https://github.com/OCamlPro/alt-ergo/blob/2.1.0/sources/CHANGES).

Despite our various tests, you may still encounter some issues with this new solver.  Please, don't hesitate to report bugs, ask questions, and give your feedback!