ocaml/opam-repository — pull request #3298 by zkincaid (2014-12-28 14:25:40+00:00)
Title: Add Z3 package

OPAM package for Microsoft's Z3 SMT solver.