Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

The Caml Hump: Ocamlyices


Yet another binding for Yices SMT 1.x. Based on CamlIDL, this library allows the access to both Yices APIs (full and light), unsatisfiable cores, bit vectors, and more experimental features (interrupting, switching between APIs).
Homepage ]
Author:Mickaël Delahaye.
Last modification date:22-Sep-2010
Development status:Beta
Kind: Libraries :: Bindings with C libraries
License: Open Source :: BSD
Topic: Science :: Maths and Logic