GitHub topics: qbf
fslivovsky/qute
Qute: a dependency learning QBF solver.
Language: C++ - Size: 107 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 12 - Forks: 4
msakai/tppmark2020
My attempt to solve TPPmark problem of the 16th Theorem Proving and Provers meeting (TPP 2020).
Language: Haskell - Size: 1.1 MB - Last synced at: 2 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0
touist/touist
TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)
Language: OCaml - Size: 12 MB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 65 - Forks: 12
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: almost 7 years ago - Stars: 0 - Forks: 1
ltentrup/caqe
CAQE is a solver for quantified Boolean formulas
Language: Rust - Size: 636 KB - Last synced at: over 1 year ago - Pushed at: about 2 years ago - Stars: 27 - Forks: 6
kwrx/qasp
A new solver for asp programs with quantifiers over stable models
Language: C++ - Size: 12.1 MB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0
arey0pushpa/synthetic_qbf_formulas Fork of MarkusRabe/synthetic_qbf_formulas
Interesting QBF formulas
Language: Python - Size: 217 MB - Last synced at: almost 2 years 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: almost 2 years ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0
ZeroBone/TQBFIP
Implementation and visualization of the private-coin interactive protocol for TQBF yielding IP = PSPACE
Language: Python - Size: 494 KB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 4 - Forks: 0
maximaximal/QuAPI
Library and tool to add assumption-support to generic SAT or QBF solver binaries using automated fork()ing and LD_PRELOAD
Language: C++ - Size: 628 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 0
maximaximal/Paracooba
Distributed and ressource elastic cube-and-conquer SAT & QBF solver
Language: C++ - Size: 37.2 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 12 - Forks: 3
pehamTom/qcirsym
QCIRSYM - A Tool for finding symmetries in QCIR formulas in cleansed-prenex form
Language: C++ - Size: 12.7 KB - Last synced at: about 2 months ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0
narteche/QBDef
A very general generator to create QBF instances in popular formats given the formal definition of a formula family.
Language: Python - Size: 36.7 MB - Last synced at: about 2 years ago - Pushed at: almost 5 years ago - Stars: 1 - Forks: 0
DerJesko/expterminator
A tool for transforming ∀-Exp+Res proofs into QRAT proofs
Language: Rust - Size: 216 KB - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0
