stp's tracked open-source repos, sorted by stars.
Simple Theorem Prover, an efficient SMT solver for bitvectors, floating-point and arrays.
