Parallel Sat4J 0.01

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

เกี่ยวกับ Parallel Sat4J

นี่เป็นโครงการทางวิชาการ วัตถุประสงค์หลักคือการสร้างอัลกอริทึมเพื่อขนานกับสูตร CNF แล้วป้อนชิ้นส่วนที่กระจายไปยังตัวแก้ปัญหา SAT ตามลําดับสําหรับโครงการนี้เราได้เลือกที่จะใช้ Sat4J เป็นผู้แก้ปัญหา