qbf-solver topic
List
qbf-solver
repositories
cadet
24
Stars
13
Forks
Watchers
A fast and certifying solver for quantified Boolean formulas.
MarkusRabe
boolean-function
boolean-logic
boolean-satisfiability
qbf-solver