Proyek Lumba-Lumba dimaksudkan untuk menjadi alat agregasi proyek penelitian yang terkait dengan alat dan alat Open Source Satisfiability Solver yang terkait dengan mereka seperti Pemeriksa Model Terikat dan Verifier Perangkat Lunak.
Riwayat versi
- Versi Dolphin%20SAT%200.1.1 diposting di 2008-03-02
Beberapa perbaikan dan pembaruan - Versi Dolphin SAT 0.1.1 diposting di 2008-03-02
Detil Program
- Kategori: Pendidikan > Lain
- Penerbit: dolphin-project.sf.net
- Lisensi: Gratis
- Harga: N/A
- Versi: 0.1.1
- Platform: windows