Simple Theorem Prover，一种高效的SMT求解器，适用于位向量、浮点数和数组问题。
Simple Theorem Prover, an efficient SMT solver for bitvectors, floating-point and arrays.
