Opam Package yices2.0.0.3

Package info

opam-nameyices2
opam-version0.0.3
synopsisYices2 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
authors
  • Mickaël Delahaye <mickael.delahaye@gmail.com>
homepagehttp://micdel.fr/ocamlyices2.html
deps (4)
revdeps (1)
metas (1)
libraries (1)

Package modules

Package sources

yices2

Package files

lib/yices2/yices2.mli
lib/yices2/yices2.cmxa
lib/yices2/yices2.cmx
lib/yices2/yices2.cmti
lib/yices2/yices2.cmt
lib/yices2/yices2.cmi
lib/yices2/yices2.cma
lib/yices2/yices2.annot
lib/yices2/yices2.a
lib/yices2/libyices2_stubs.a
lib/yices2/libyices.a
lib/yices2/libgmp.a
lib/yices2/META
lib/yices2