Stars
A SAT-based tool to compute shortest resolution proofs.
A tool to compute and analyze reflexive resolution-path dependencies of a QBF in the QDIMACS format.
conp-solutions / mergesat
Forked from niklasso/minisatconfigurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se)
A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.
AMUSIC: a tool for approximate counting of minimal unsatisfiable subsets of a given Boolean formula in CNF
Verible is a suite of SystemVerilog developer tools, including a parser, style-linter, formatter and language server
DepQBF, a solver for quantified boolean formulae (QBF).
Nenofex, an expansion-based QBF solver for negation normal form
A minimalistic and high-performance SAT solver