stp की ट्रैक की गई ओपन सोर्स रिपॉजिटरी, स्टार के हिसाब से क्रमबद्ध।
Simple Theorem Prover, bitvectors, floating-point और arrays के लिए एक कुशल SMT solver।
