Commit cc9de425 authored by Steven de Oliveira's avatar Steven de Oliveira
Browse files

Date prefix for files

parent f2da7428
title=The Alt-Ergo SMT Solver’s results in the SMT-COMP 2019
authors=Albin Coquereau
date=2019-07-9
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](http://smt2019.galois.com/). We were glad to participate in this competition for the second year in a row, especially as Alt-Ergo [now supports](/blog/whats-new-for-alt-ergo-in-2018-here-is-a-recap) the SMT-LIB 2 standard.
The results of the SMT-COMP 2019 were released a few days ago at the SMT whorkshop during the [22nd SAT conference](http://smt2019.galois.com/). We were glad to participate in this competition for the second year in a row, especially as Alt-Ergo [now supports](/blog/2019_02_11_whats-new-for-alt-ergo-in-2018-here-is-a-recap) the SMT-LIB 2 standard.
> Alt-Ergo is an open-source SAT-solver maintained and distributed by OCamlPro and partially funded by R&D projects. If you’re interested, please consider joining the [Alt-Ergo User’s Club](https://alt-ergo.ocamlpro.com/#club)! Its history goes back in 2006 from early academic researches conducted conjointly at Inria & CNRS “LRI” lab, and the maintenance and development work by OCamlPro since September 2013 (see the [past releases](https://alt-ergo.ocamlpro.com/#releases)).
>
> Alt-Ergo is an open-source SAT-solver maintained and distributed by OCamlPro and partially funded by R&D projects. If you’re interested, please consider joining the [Alt-Ergo User’s Club](https://alt-ergo.ocamlpro.com/#club)! Its history goes back in 2006 from early academic researches conducted conjointly at Inria & CNRS “LRI” lab, and the maintenance and development work by OCamlPro since September 2013 (see the [past releases](https://alt-ergo.ocamlpro.com/#releases)).
>
> If you’re curious about OCamlPro’s other activities in Formal Methods, see a happy client’s [feedback](/#mitsubishi-merce)
## SMT-COMP 2018
......
......@@ -4,7 +4,7 @@ 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](http://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](/blog/whats-new-for-alt-ergo-in-2018-here-is-a-recap) le standard [SMT-LIB 2](http://smtlib.cs.uiowa.edu/).
Les résultats de la compétition SMT-COMP 2019 ont été publiés au whorkshop SMT de la [22e conférence SAT](http://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](/blog/2019_02_11_whats-new-for-alt-ergo-in-2018-here-is-a-recap) le standard [SMT-LIB 2](http://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).
>
......@@ -13,4 +13,4 @@ Les résultats de la compétition SMT-COMP 2019 ont été publiés au whorkshop
> _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 [ocamlpro.com/blog/alt-ergo-participation-to-the-smt-comp-2019](/blog/alt-ergo-participation-to-the-smt-comp-2019)
\ No newline at end of file
Voir [ocamlpro.com/blog/alt-ergo-participation-to-the-smt-comp-2019](/blog/2019_07_09_alt-ergo-participation-to-the-smt-comp-2019)
\ No newline at end of file
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment