stp

Simple Theorem Prover，一款針對位元向量、浮點數與陣列的高效 SMT 求解器。