डॉल्फिन परियोजना का उद्देश्य ओपन सोर्स तृप्ति सॉल्वर टूल्स और उनसे संबंधित उपकरण जैसे बाउंड मॉडल चेकर्स और सॉफ्टवेयर वेरिफाइडर्स से संबंधित एक शोध परियोजना है।
संस्करण इतिहास
- विवरण Dolphin%20SAT%200.1.1 पर तैनात 2008-03-02
कई सुधार और अपडेट - विवरण Dolphin SAT 0.1.1 पर तैनात 2008-03-02
कार्यक्रम विवरण
- कोटि: पढ़ाई > अन्य
- प्रकाशक: dolphin-project.sf.net
- लाइसेंस: मुफ्त
- मूल्य: N/A
- विवरण: 0.1.1
- मंच: windows