Projekt Dolphin ma być projektem badawczym agregującym narzędzia związane z narzędziami i narzędziami związanymi z rozwiązaniam Open Source, takimi jak bounded Model Checkers i Software Verifiers.
historia wersji
- Wersja Dolphin%20SAT%200.1.1 opublikowany na 2008-03-02
Kilka poprawek i aktualizacji - Wersja Dolphin SAT 0.1.1 opublikowany na 2008-03-02
Szczegóły programu
- Kategorii: Edukacji > Innych
- Wydawca: dolphin-project.sf.net
- Licencji: Wolna
- Cena: N/A
- Wersja: 0.1.1
- Platformy: windows