qbf-solver

There are 2 repositories under qbf-solver topic.

MarkusRabe / cadet
A fast and certifying solver for quantified Boolean formulas.
qbf-solver boolean-logic boolean-satisfiability boolean-function skolem-function sat-solver
Language:C 24
fslivovsky / qute
Qute: a dependency learning QBF solver.
qbf-solver qbf
Language:C++ 12
nakal / qubs
A small and simple RPN QBF solver
qbf-solver
Language:C 2
arey0pushpa / synthetic_qbf_formulas
Interesting QBF formulas
dimacs qbf qbf-solver qdimacs sat-solver
Language:Python 1
arey0pushpa / dcnf-autarky
Autarkies for QBF
qbf qbf-solver
Language:R 0
vedadux / nanoqbf
A minimal implementation of an expansion-based QBF solver which does not use recursion.
qbf qbf-solver formal-methods formal-logic logic
Language:C++ 0

MarkusRabe / cadet