द्वारा कार्यक्रम dolphin-project.sf.net

डॉल्फिन परियोजना का उद्देश्य ओपन सोर्स तृप्ति सॉल्वर टूल्स और उनसे संबंधित उपकरण जैसे बाउंड मॉडल चेकर्स और सॉफ्टवेयर वेरिफाइडर्स से संबंधित एक शोध परियोजना है।