configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se)

A model checker based on SAT solving and induction

tool to produce CNFs that certify equivalence of 2 input CNFs

Parallel SAT solver based on search space splitting

Code of the Axiom Pinpointing tool for DL: SATPin

Simple Theorem Prover, an efficient SMT solver for bitvectors

Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver