ส่งซอฟต์แวร์

โปรแกรมตาม parallelsat4j.sf.net

  • Parallel Sat4J ฟรี

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