zthree :: SolverM ZThree a -> IO a
zthree (Z3 z3) = Z.evalZ3With (Just Z.QF_NIA) Z.stdOpts z3
zthree :: SolverM ZThree a -> IO a
zthree (Z3 z3) = Z.evalZ3With (Just Z.QF_NIA) Z.stdOpts z3
zthree (Z3 z3) = Z.evalZ3With (Just Z.QF_NIA) Z.stdOpts z3