OCaml API

E2192480 UNEXPLORED

The OCaml API for Z3 is a set of OCaml bindings that allow developers to construct and solve logical formulas using the Z3 SMT solver directly from OCaml code.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (1)

Label	Occurrences
OCaml API canonical	1

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

Z3 → hasAPI → OCaml API ⓘ