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

CAQE is a solver for quantified Boolean formulas

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

Qute: a dependency learning QBF solver.

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

Library and tool to add assumption-support to generic SAT or QBF solver binaries using automated fork()ing and LD_PRELOAD

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

A new solver for asp programs with quantifiers over stable models

Satisfiable benchmarks from reactive synthesis. The challenge is to find small solutions.

Interesting QBF formulas

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

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

Autarkies for QBF

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

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