English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

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