Brenda is a boolean expression solver for Go AST
dave
A fast and certifying solver for quantified Boolean formulas.
MarkusRabe
