XML-SAT

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

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

ประวัติรุ่น

  • เวอร์ชัน release โพสต์เมื่อ 2010-04-24
    การแก้ไขและการอัปเดตหลายรายการ
  • เวอร์ชัน N/A โพสต์เมื่อ 2010-04-24

รายละเอียดหลักสูตร