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 |