OCaml bindings for CVC4
Switch branches/tags
Nothing to show
Clone or download
Latest commit 3c4ef41 Oct 29, 2013
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
LICENSE Initial commit Oct 29, 2013
Makefile Initial import of sources Oct 29, 2013
README.md Update README.md Oct 29, 2013
cvc4.ml Initial import of sources Oct 29, 2013
cvc4.mli Initial import of sources Oct 29, 2013
cvc4_stubs.cpp Initial import of sources Oct 29, 2013
cvc4_test.ml Initial import of sources Oct 29, 2013

README.md

cvc4-ocaml

OCaml bindings for CVC4.

The bindings only deal with the QF_EUF theory, but all building blocks should be there to extend it to others.

Set the correct paths to the CVC4 libraries and include files in the Makefile.

To build the library do make, to build an example file, do make cvc4_test and generate some documentation with make doc.

Contact

christoph-sticksel@uiowa.edu