2019_07_10_fr_resultats_de_la_smt_comp_2019_pour_alt_ergo.md 1.42 KB
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14
title=Résultats de la SMT-Comp 2019 pour Alt-Ergo
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](https://smt2019.galois.com/). Nous étions fiers d’y participer pour la deuxième année consécutive, surtout depuis qu’Alt-Ergo [prend en charge](/2019/02/11/whats-new-for-alt-ergo-in-2018-here-is-a-recap/) le standard [SMT-LIB 2](https://smtlib.cs.uiowa.edu/).

> Alt-Ergo est un SAT solveur open-source maintenu et distribué par OCamlPro, et financé entre autres grâce à plusieurs projets de R&D collaborative (BWare, SOPRANO, Vocal, LChip).
> Si vous êtes un utilisateur d’Alt-Ergo, songez à rejoindre le [Club des Utilisateurs d’Alt-Ergo](https://alt-ergo.ocamlpro.com/#club)! L’histoire de ce logiciel remonte à 2006, où il est né de recherches académiques conjointes entre Inria et le CNRS dans le laboratoire du LRI. Il est depuis septembre 2013 maintenu, développé  et distribué par OCamlPro (voir l’historique des [versions passées](https://alt-ergo.ocamlpro.com/#releases)).
> *Si vous êtes curieux des activités d’OCamlPro dans le domaine des méthodes formelles, vous pouvez lire le court témoignage d’un [client heureux](http://ocamlpro.com/clients-partners/#mitsubishi-merce).*

Voir [](/2019/07/09/alt-ergo-participation-to-the-smt-comp-2019/)