Leander Tentrup

caqe. CAQE is a solver for quantified Boolean formulas

quabs. QuAbS is a circuit-based QBF solver

MiniSat. Swift Bindings for MiniSat

booleanium. An experimental QBF solver

telo. Rust

SafetySynth. A symbolic safety game solver written in Swift

QAIGER. AIGER format for Quantified Boolean Formulas

libsolve. A collection of data structures and SAT solver interfaces for writing solvers

SATSolver. A SAT Solver Interface for the Swift Programming Language

dblp-cli. A command line tool for fetching bibtex entries from dblp.org

bosy. SMT