Yicesl
Light Yices binding for Ocaml
Yices
Yices binding for Ocaml