Module Z3wrapper

module Z3wrapper: sig .. end

A solver using the Z3 OCaml API


include Smt_sig.S