msoos / cryptominisat

An advanced SAT solver

stp / stp

Simple Theorem Prover, an efficient SMT solver for bitvectors, floating-point and arrays.