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

Qute: a dependency learning QBF solver.

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

A new solver for asp programs with quantifiers over stable models

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

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