Stars
conp-solutions / mergesat
Forked from niklasso/minisatconfigurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se)
tool to produce CNFs that certify equivalence of 2 input CNFs
Parallel SAT solver based on search space splitting
Simple Theorem Prover, an efficient SMT solver for bitvectors
Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver