![](/statics/img/blank.png)
Dolphin Project 0.1.1
ใบ อนุญาต: ฟรี ขนาดแฟ้ม: N/A
คะแนนจากผู้ใช้: 3.5/5 - 2 โหวต
กรุณารอสักครู่ ลิงก์ดาวน์โหลดของคุณกําลังได้รับการตรวจสอบสําหรับเนื้อหาที่เป็นอันตราย
คุณจะสามารถดาวน์โหลดได้ภายใน 5 วินาที
คุณจะสามารถดาวน์โหลดได้ภายใน 5 วินาที
เกี่ยวกับ Dolphin Project
โครงการปลาโลมามีวัตถุประสงค์เพื่อเป็นเครื่องมือรวบรวมโครงการวิจัยที่เกี่ยวข้องกับเครื่องมือและเครื่องมือ Open Source Satisfiability Solver ที่เกี่ยวข้องกับพวกเขาเช่นตัวตรวจสอบแบบจําลองที่ถูกผูกไว้และตัวตรวจสอบซอฟต์แวร์