Created by Chris Conway and last modified

API bindings for using the CVC3 SMT solver from OCaml.

Get this branch:
bzr branch lp:~cconway/+junk/cvc3-ocaml
Only Chris Conway can upload to this branch. If you are Chris Conway please log in for upload directions.

Related bugs

Related blueprints

Branch information

Chris Conway

Recent revisions

5. By Chris Conway

Adding OUnit test

4. By Chris Conway

Adding license

3. By Chris Conway

Fixing OMakefile

2. By Chris Conway

Addition of Kind functions and getCounterModel from Christoph Sticksel

1. By Chris Conway

Initial revision

Branch metadata

Branch format:
Branch format 6
Repository format:
Bazaar pack repository format 1 (needs bzr 0.92)
This branch contains Public information 
Everyone can see this information.