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