Language.Hasmtlib.Solver.Bitwuzla

Documentation

bitwuzla :: Config

A Config 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.