qbf

There are 14 repositories under qbf topic.

  • touist/touist

    TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)

    Language:OCaml65914612

  • ltentrup/caqe

    CAQE is a solver for quantified Boolean formulas

    Language:Rust295126

  • maximaximal/Paracooba

    Distributed and ressource elastic cube-and-conquer SAT & QBF solver

    Language:C++16313

  • fslivovsky/qute

    Qute: a dependency learning QBF solver.

    Language:C++12204

  • 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++4200

  • ZeroBone/TQBFIP

    Implementation and visualization of the private-coin interactive protocol for TQBF yielding IP = PSPACE

    Language:Python4300

  • narteche/QBDef

    A very general generator to create QBF instances in popular formats given the formal definition of a formula family.

    Language:Python3200

  • kwrx/qasp

    A new solver for asp programs with quantifiers over stable models

    Language:C++22240

  • arey0pushpa/synthetic_qbf_formulas

    Interesting QBF formulas

    Language:Python110

  • arey0pushpa/dcnf-autarky

    Autarkies for QBF

    Language:R0210

  • DerJesko/expterminator

    A tool for transforming ∀-Exp+Res proofs into QRAT proofs

    Language:Rust0300

  • pehamTom/qcirsym

    QCIRSYM - A Tool for finding symmetries in QCIR formulas in cleansed-prenex form

    Language:C++0100

  • vedadux/nanoqbf

    A minimal implementation of an expansion-based QBF solver which does not use recursion.

    Language:C++0141

  • msakai/tppmark2020

    My attempt to solve TPPmark problem of the 16th Theorem Proving and Provers meeting (TPP 2020).

    Language:Haskell20