yices2

Yices2 SMT solver binding
Description

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

Install
Documentation micdel.fr Edit opam file
Published
08 May 2017
Authors
Maintainers
Sources
v0.0.3.tar.gz
md5=520065f7d81db571aacbc0e8ea3a63c7
Dependencies
zarith
conf-gmp build
ocamlfind build
ocaml
Reverse Dependencies