| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
Language.Hasmtlib.Solver.Z3
Synopsis
- z3 :: SolverConfig s
Documentation
z3 :: SolverConfig s Source #
A SolverConfig for Z3.
Requires binary z3 to be in path.
| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
Language.Hasmtlib.Solver.Z3
z3 :: SolverConfig s Source #
A SolverConfig for Z3.
Requires binary z3 to be in path.