RedSam
ใบ อนุญาต: ฟรี ขนาดแฟ้ม: N/A
คะแนนจากผู้ใช้: 4.0/5 - 1 โหวต
กรุณารอสักครู่ ลิงก์ดาวน์โหลดของคุณกําลังได้รับการตรวจสอบสําหรับเนื้อหาที่เป็นอันตราย
คุณจะสามารถดาวน์โหลดได้ภายใน 5 วินาที
คุณจะสามารถดาวน์โหลดได้ภายใน 5 วินาที
เกี่ยวกับ RedSam
ข้อ จํากัด ความพึงพอใจแก้ปัญหา Solver สําหรับข้อ จํากัด ไบนารี, ไฟล์ป้อนใน XML ที่มีรูปแบบปัจจุบัน XCSP 2.1, นํามาใช้สําหรับการแข่งขัน 2008 CSP / MaxCSP / WCSP ตัวแก้ปัญหาอยู่ใน C ++ และใช้ไลบรารีการเพิ่ม