Articles liés

Articles avec le tag private

Site

Catégories

Private Release of Alt-Ergo 1.00

Auteurs: Mohamed Iguernlala
Date: 2015-01-29
Catégorie: Formal Methods
Tags: alt-ergo, private, release, 1.00

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)