[Why3-club] Release of Alt-Ergo 2.3.0
gabriel.scherer at gmail.com
Tue Feb 12 11:50:48 CET 2019
Thanks for the very nice blog post, and interesting work.
I looked at the System Description paper, but there are not a lot of
details about how you tweak CDCL to better match the previous Tableaux
Do you plan to write a more detailed article about this?
On Tue, Feb 12, 2019 at 11:21 AM Mohamed Iguernlala <iguer.auto at gmail.com>
> Release of Alt-Ergo 2.3.0
> Dear Alt-Ergo users,
> We are happy to announce the release of Alt-Ergo 2.3.0. You can
> get the sources from the website: https://alt-ergo.ocamlpro.com.
> OPAM packages will be available soon.
> The main novelties of this version are given in this blog post:
> and a more exhaustive list of CHANGES is available here:
> Also, we are happy to inform you that an Alt-Ergo Users Club is
> born. The first meeting is scheduled for this week. Don't
> hesitate to contact us if you want to join the Club and to support
> Alt-Ergo development.
> As usual, you can report bugs, ask questions, or give your
> feedback regarding this version, or Alt-Ergo in general:
> Best regards,
> Mohamed Iguernlala
> Senior R&D Engineer, OCamlPro SAS
> Research Associate, VALS team, LRI
> Webpage: http://www.iguer.xyz
> LinkedIn: https://fr.linkedin.com/in/mohamed-iguernlala-71515979
> Why3-club mailing list
> Why3-club at lists.gforge.inria.fr
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Why3-club