sarsko की ट्रैक की गई ओपन सोर्स रिपॉजिटरी, स्टार के हिसाब से क्रमबद्ध।
CreuSAT - Rust में लिखा गया और Creusot के साथ सत्यापित एक औपचारिक रूप से सत्यापित SAT सॉल्वर।
