qbf-solver

There are 6 repositories under qbf-solver topic.

MarkusRabe/cadet
A fast and certifying solver for quantified Boolean formulas.
Language:C26 2 813
fslivovsky/qute
Qute: a dependency learning QBF solver.
Language:C++12 2 04
nakal/qubs
A small and simple RPN QBF solver
Language:C2 2 00
arey0pushpa/synthetic_qbf_formulas
Interesting QBF formulas
Language:Python1 1 0
arey0pushpa/dcnf-autarky
Autarkies for QBF
Language:R0 2 10
vedadux/nanoqbf
A minimal implementation of an expansion-based QBF solver which does not use recursion.
Language:C++0 1 41