Articles by Albin Coquereau


Authors: Albin Coquereau
Date: 2021-03-29
Category: Formal Methods
Tags: alt-ergo

Have you heard about our Try-Alt-Ergo website? Created in 2014 (see our blogpost), the first objective was to facilitate access to our performant SMT Solver Alt-Ergo. Try-Alt-Ergo allows you to write and run your problems in your browser without any server computation. This playground website has be... (Read more)


Authors: Albin Coquereau
Date: 2021-01-22
Category: Formal Methods
Tags: alt-ergo

A new release of Alt-Ergo (version 2.4.0) is available. You can get it from Alt-Ergo's website. The associated opam package will be published in the next few days. This release contains some major novelties: Alt-Ergo supports incremental commands (push/pop) from the smt-lib standard. We switched co... (Read more)


Authors: Albin Coquereau
Date: 2019-07-10
Category: Formal Methods
Tags: alt-ergo, fr

Les résultats de la compétition SMT-COMP 2019 ont été publiés au whorkshop  SMT de la 22e conférence SAT. Nous étions fiers d’y participer pour la deuxième année consécutive, surtout depuis qu’Alt-Ergo prend en charge le standard SMT-LIB 2. Alt-Ergo est un SAT solveur open-source main... (Read more)


Authors: Albin Coquereau
Date: 2019-07-10
Category: Formal Methods
Tags: alt-ergo

Les résultats de la compétition SMT-COMP 2019 ont été publiés au whorkshop SMT de la 22e conférence SAT. Nous étions fiers d’y participer pour la deuxième année consécutive, surtout depuis qu’Alt-Ergo prend en charge le standard SMT-LIB 2. Alt-Ergo est un SAT solveur open-source mainte... (Read more)


Authors: Albin Coquereau
Date: 2019-07-09
Category: Formal Methods
Tags: alt-ergo

The results of the SMT-COMP 2019 were released a few days ago at the SMT whorkshop during the 22nd SAT conference. We were glad to participate in this competition for the second year in a row, especially as Alt-Ergo now supports the SMT-LIB 2 standard. Alt-Ergo is an open-source SAT-solver maintaine... (Read more)