yices2

AuthorMickaël Delahaye <mickael.delahaye@gmail.com>
LicenseISC license and non-commercial use
Homepagehttp://micdel.fr/ocamlyices2.html
Issue Trackerhttps://github.com/polazarus/ocamlyices2/issues
MaintainerMickaël Delahaye <mickael.delahaye@gmail.com>
Dependencies
&conf-gmp
ocamlfind
ounit
zarith
PublishedMay 7, 2017
Source [http] https://github.com/maelvalais/ocamlyices2/archive/v0.0.3.tar.gz
520065f7d81db571aacbc0e8ea3a63c7
StatisticsInstalled 40 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/yices2/yices2.0.0.3/opam

Yices2 SMT solver binding

Yices is a Satisfiability Modulo Theories (SMT) solver from SRI. It is available freely for non-commercial purposes. License terms: http://yices.csl.sri.com/yices-newnewlicense.html

Optional for
touist
>= 3.1.0