Related Articles

Articles written by Hichem Rami Ait El Hara

Home

Categories

Release of ocplib-simplex, version 0.5

Authors: Steven de Oliveira, Pierre Villemot, Hichem Rami Ait El Hara, Guillaume Bury
Date: 2023-01-05
Category: Formal Methods
Tags: OCaml, alt-ergo, simplex, ocplib

On last November, we released version 0.5 of ocplib-simplex, a generic library implementing the Simplex Algorithm in OCaml. It is a key component of the Alt-Ergo automatic theorem prover that we keep developing at OCamlPro. ** The Simplex Algorithm What Changed in 0.5 ? ] The simplex algorithm The S... (Read more)

Alt-Ergo: the SMT solver with model generation

Authors: Steven de Oliveira, Pierre Villemot, Hichem Rami Ait El Hara, Guillaume Bury
Date: 2022-11-16
Category: Formal Methods
Tags: OCaml, alt-ergo

The Alt-Ergo automatic theorem prover developed at OCamlPro has just been released with a major update : counterexample model can now be generated. This is now available on the next branch, and will officially be part of the 2.5.0 release, coming this year ! Alt-Ergo at a Glance Alt-Ergo is an open ... (Read more)