RedSam

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

ข้อ จํากัด ความพึงพอใจแก้ปัญหา Solver สําหรับข้อ จํากัด ไบนารี, ไฟล์ป้อนใน XML ที่มีรูปแบบปัจจุบัน XCSP 2.1, นํามาใช้สําหรับการแข่งขัน 2008 CSP / MaxCSP / WCSP ตัวแก้ปัญหาอยู่ใน C ++ และใช้ไลบรารีการเพิ่ม

ประวัติรุ่น

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

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