ตัวแก้ปัญหา SAT แบบแยกส่วนตาม Minisat โมดูลจะอธิบายไว้ในไฟล์ XML ซึ่งประมวลผลโดยสคริปต์ perl; จึงสร้างn- solversของ
ประวัติรุ่น
- เวอร์ชัน release โพสต์เมื่อ 2010-04-24
การแก้ไขและการอัปเดตหลายรายการ - เวอร์ชัน N/A โพสต์เมื่อ 2010-04-24
รายละเอียดหลักสูตร
- ประเภท: พัฒนา > อื่นๆ
- Publisher: xml-sat.sf.net
- ใบ อนุญาต: ฟรี
- ราคา: N/A
- เวอร์ชัน: Array
- แพ ลตฟอร์ม: linux