![](/statics/img/blank.png)
Dolphin Project 0.1.1
Lisensi: Gratis Ukuran file: N/A
Peringkat Pengguna: 3.5/5 - 2 Suara
Harap tunggu... Tautan unduhan Anda sedang diverifikasi untuk konten berbahaya.
Anda dapat mengunduh dalam 5 detik.
Anda dapat mengunduh dalam 5 detik.
Tentang Dolphin Project
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.