STP: Simple Theorem Prover (a SMT solver for bitvectors & arrays).