Programma's van dolphin-project.sf.net

Het Dolphin Project is bedoeld als een onderzoeksproject dat tools aggregeert met betrekking tot Open Source Satisfiability Solver tools en tools die ermee verband houden, zoals Bounded Model Checkers en Software Verifiers.