Language.Hasmtlib.Solver.Z3
z3 :: Config Source #
A Config for Z3. Requires binary z3 to be in path.
Config
z3