qbf

Star

Here are 11 public repositories matching this topic...

touist / touist

Star

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

education research ocaml problem-solving propositional-logic smt minisat smt-lib sat dimacs yices qbf

Updated Jan 12, 2021
OCaml

ltentrup / caqe

Star

CAQE is a solver for quantified Boolean formulas

solver qbf qdimacs

Updated Mar 24, 2021
Rust

maximaximal / Paracooba

Star

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

tcp network udp distributed-computing cubes sat qbf

Updated Jul 18, 2021
C++

perebor / qute

Star

Qute: a dependency learning QBF solver.

qbf-solver qbf

Updated Jul 15, 2021
C++

alephnoell / QBDef

Star

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

parser family sat formulas qbf formal-language qbf-instances

Updated Jul 20, 2020
Python

pehamTom / qcirsym

Star

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

symmetry qbf non-cnf qcir

Updated Mar 18, 2021
C++

DerJesko / expterminator

Star

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

resolution logic qbf qrat

Updated Mar 30, 2020
Rust

msakai / tppmark2020

Star

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

sat qbf

Updated Nov 20, 2020
Haskell

arey0pushpa / synthetic_qbf_formulas

Star

Interesting QBF formulas

sat-solver dimacs qbf-solver qbf qdimacs

Updated Jun 24, 2018
Python

vedadux / nanoqbf

Star

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

logic formal-methods qbf-solver qbf formal-logic

Updated Aug 17, 2018
C++

arey0pushpa / dcnf-autarky

Star

Autarkies for QBF

qbf-solver qbf

Updated Feb 19, 2021
R

Improve this page

Add a description, image, and links to the qbf topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the qbf topic, visit your repo's landing page and select "manage topics."

Learn more