XML-SAT

ใบ อนุญาต: ฟรี ‎ขนาดแฟ้ม: N/A
‎คะแนนจากผู้ใช้: 4.0/5 - ‎1 ‎โหวต

เกี่ยวกับ XML-SAT

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