GitHub topics: qbf-solver
MarkusRabe/cadet
A fast and certifying solver for quantified Boolean formulas.
Language: C - Size: 5.68 MB - Last synced at: about 3 hours ago - Pushed at: about 4 hours ago - Stars: 27 - Forks: 13
fslivovsky/qute
Qute: a dependency learning QBF solver.
Language: C++ - Size: 107 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 12 - Forks: 4
vedadux/nanoqbf
A minimal implementation of an expansion-based QBF solver which does not use recursion.
Language: C++ - Size: 228 KB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 1
arey0pushpa/synthetic_qbf_formulas Fork of MarkusRabe/synthetic_qbf_formulas
Interesting QBF formulas
Language: Python - Size: 217 MB - Last synced at: over 1 year ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0
arey0pushpa/dcnf-autarky
Autarkies for QBF
Language: R - Size: 2.11 GB - Last synced at: over 1 year ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0
nakal/qubs
A small and simple RPN QBF solver
Language: C - Size: 164 KB - Last synced at: over 1 year ago - Pushed at: over 9 years ago - Stars: 2 - Forks: 0
