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