/ocaml_z3i

Primary LanguageOCamlMozilla Public License 2.0MPL-2.0

Z3i

Alternative Z3 interface for OCaml using phantom types for sort kinds. Currently incomplete.