Module YicesNative

module YicesNative: sig .. end
An interface to the Yices SMT solver in native format.

Use this module as input to the SMTSolver.Make functor


include SolverSig.S