Formal Methods

Alt-Ergo Users’ Club Annual Meeting (2021)

The third annual meeting of the Alt-Ergo Users’ Club took place on April 1! Our annual meeting is the ideal place to review the needs of each partner regarding Alt-Ergo. We were pleased to welcome our partners to discuss the roadmap for future Alt-Ergo developments and improvements. Alt-Ergo is an automatic prover of mathematical formulas, Alt-Ergo Users’ Club Annual Meeting (2021)

Tags: ,

The Alt-Ergo SMT Solver’s results in the SMT-COMP 2019

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 maintained and distributed by OCamlPro The Alt-Ergo SMT Solver’s results in the SMT-COMP 2019

Tags: ,