[Why3-club] [ANN] New Try-Alt-Ergo website

Hi everyone, We are pleased to announce the new version of the Try Alt-Ergo website ! As a reminder, Try Alt-Ergo allows you to write and run your problems in your browser without any server computation. It was designed to be a powerful and simple tool to

Re: [Why3-club] Alt-Ergo: free release of 2.2.0 and 2.3.0?

SAT solver (from Alt-Ergo 2.1.0) and the experimental support for the SMT-lib standard (introduced in Alt-Ergo 2.2.0) Best, Albin Coquereau on behalf of the Alt-Ergo team -- OCamlPro On 09/04/2020 10:56, Albin Coquereau wrote: Hi François, Alt-Ergo 2.0.0 is the latest version with free

Re: [Why3-club] Alt-Ergo: free release of 2.2.0 and 2.3.0?

version of alt-ergo was readded to opam with the new license. So you are not going to upload as before also in opam an (older) open-source version of alt-ergo. Best, -- Albin Coquereau -- OCamlPro ___ Why3-club mailing list Why3-club@lists.gforge.inri

Re: [Why3-club] Alt-Ergo: free release of 2.2.0 and 2.3.0?

thout the GUI and the need to have lablgtk for the next stable release of Debian, tell us if you'd like that. Best, - Albin Coquereau On 06/03/2020 14:09, Ralf Treinen wrote: Hello, alt-ergo 2.2.0 was released under OCamlPro licence on Apr 21, 2018, and 2.3.0 on Feb 18, 2019. What are t

[Why3-club] Alt-Ergo Users’ Club Annual Meeting

. You can expect this update in the next few months. As usual, we welcome your bug reports, questions, and feedback regarding this version or Alt-Ergo in general: https://github.com/OCamlPro/alt-ergo/issues Best regards, Albin Coquereau -- Albin Coquereau - R&D engineer, Alt-Ergo's