ส่งซอฟต์แวร์

โปรแกรมตาม s-sat.sf.net

  • S-SAT - Sapienza SAT ฟรี

    ในระหว่างหลักสูตรที่มหาวิทยาลัย & quot;La Sapienza" ในกรุงโรมฉันพัฒนาตัวแก้ปัญหา SAT ที่ทํางานอย่างเต็มที่ตามการเผยแพร่หน่วยและย้อนรอย; มันสามารถอ่านไฟล์ DIMACS และประมวลผลสูตร cnf ที่มีความยาวใด ๆ (ไม่มีข้อ จําก