stp

Simple Theorem Prover，一款针对位元向量、浮点数与数组的高效 SMT 求解器。