arlencox

Arlen Cox

z3

This is a clone of Microsoft Research's Z3 SMT Solver. I have made very minor modifications to allow building on a Mac and to build current Z3 OCaml bindings and install them as an easy-to-use findlib package