| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
Language.Hasmtlib.Solver.Bitwuzla
Synopsis
- bitwuzla :: SolverConfig s
- bitwuzlaKissat :: SolverConfig s
Documentation
bitwuzla :: SolverConfig s Source #
A SolverConfig for Bitwuzla.
Requires binary bitwuzla to be in path.
As of v0.5 Bitwuzla uses Cadical as SAT-Solver by default.
Make sure it's default SAT-Solver binary - probably cadical - is in path too.
bitwuzlaKissat :: SolverConfig s Source #
A SolverConfig for Bitwuzla with Kissat as underlying sat-solver.
Requires binary bitwuzla and to be in path.
Will use the kissat shipped with bitwuzla.
It is recommended to build bitwuzla from source for this to work as expected.