Articles liés

Articles avec le tag 1.00


Date: 2015-01-29
Catégorie: Formal Methods

altergo logo After the public release of Alt-Ergo 0.99.1 last December, it's time to announce a new major private version (1.00) of our SMT solver. As usual: we freely provide a JavaScript version on Alt-Ergo's website we provide a private access to our internal repositories for academia users and o... (Lire plus)