Version française
Home     About     Download     Resources     Contact us    

The Caml Hump: Ocamlyices

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
Version:0.4
Development status:Beta
Kind: Libraries :: Bindings with C libraries
License: Open Source :: BSD
Topic: Science :: Maths and Logic
Homepage:http://github.com/polazarus/ocamlyices