[Why3-club] Release of Alt-Ergo 2.3.0

Gabriel Scherer 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
prover.
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>
wrote:

> 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:
>
> http://www.ocamlpro.com/2019/02/11/whats-new-for-alt-ergo-in-2018-here-is-a-recap/
>
> and a more exhaustive list of CHANGES is available here:
> https://github.com/OCamlPro/alt-ergo/blob/2.3.0/sources/CHANGES
>
> 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:
> https://github.com/OCamlPro/alt-ergo/issues
>
> 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
> https://lists.gforge.inria.fr/mailman/listinfo/why3-club
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/why3-club/attachments/20190212/5738b1d1/attachment.html>


More information about the Why3-club mailing list