Các kho mã nguồn mở đang theo dõi của stp, sắp xếp theo số sao.
Simple Theorem Prover, một trình giải SMT hiệu quả cho bitvector, dấu phẩy động và mảng.
