โปรแกรมตาม xml-sat.sf.net
-
XML-SAT ฟรี
ตัวแก้ปัญหา SAT แบบแยกส่วนตาม Minisat โมดูลจะอธิบายไว้ในไฟล์ XML ซึ่งประมวลผลโดยสคริปต์ perl; จึงสร้างn- solversของ
ตัวแก้ปัญหา SAT แบบแยกส่วนตาม Minisat โมดูลจะอธิบายไว้ในไฟล์ XML ซึ่งประมวลผลโดยสคริปต์ perl; จึงสร้างn- solversของ