Program menurut dolphin-project.sf.net

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 Perangka