Z3
The Z3 ML/OCaml Interface.
Z3enums
The enumeration types of Z3.