โปรแกรมตาม dolphin-project.sf.net

โครงการปลาโลมามีวัตถุประสงค์เพื่อเป็นเครื่องมือรวบรวมโครงการวิจัยที่เกี่ยวข้องกับเครื่องมือและเครื่องมือ Open Source Satisfiability Solver ที่เกี่ยวข้องกับพวกเขาเช่นตัวตรวจสอบแบบจําลองที่ถูกผูกไว้และตัวตรวจสอบซอฟต์แวร์