Repositori open source terpantau milik stp, diurutkan berdasarkan bintang.
Simple Theorem Prover, pemecah SMT yang efisien untuk bitvector, floating-point, dan array.
