lp:~cconway/+junk/cvc3-ocaml
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.
Branch information
- Owner:
- Chris Conway
- Status:
- Experimental
Recent revisions
Branch metadata
- Branch format:
- Branch format 6
- Repository format:
- Bazaar pack repository format 1 (needs bzr 0.92)