ส่งซอฟต์แวร์
  1. บ้าน
  2. Windows
  3. อื่นๆ
  4. Parallel Sat4J

Parallel Sat4J 0.01

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

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

ประวัติรุ่น

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

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

หลักสูตรที่เกี่ยวข้อง

  • Visualgos ฟรี

    Visualgos เป็นคอลเลกชันของการแสดงภาพประกอบเพลงสําหรับอัลกอริทึมที่เขียนใน Flash คุณสามารถดูการแสดงภาพประกอบเพลงทั้งหมดบนhttp://yuval.bar-or.org/index.php?item=7

  • wxWorkshop ฟรี

    wxWorkshop เป็นเฟรมเวิร์ก IDE และเครื่องมือ RAD สําหรับการพัฒนาแอปพลิเคชันตามกรอบ GUI ข้ามแพลตฟอร์ม wxWidgets สําหรับ C++ และ Python (wxPython) มันมีโปรแกรมแก้ไขประสิทธิภาพสูงสําหรับการออกแบบทรัพยากร GUI ของแอปพลิเคชันด้วยสาย

  • Unit Test Framework ฟรี

    กรอบงานการทดสอบหน่วย C++ สําหรับ Windows ที่มีทั้ง จอแสดงผลแบบกราฟิกและคอนโซลที่ใช้เฉพาะ Windows API เพื่อช่วยในการทํางานร่วมกันกับ Windows C++ ทั้งหมด คอมไพเลอร์และกรอบงาน

  • Contact: AndroidBinding Demo ทดลองใช้ฟรี

    นี่เป็นอีกหนึ่งการสาธิตสําหรับ Android Binding ซึ่งขึ้นอยู่กับตัวอย่างตัวจัดการผู้ติดต่อ Android อย่างเป็นทางการ: http://developer.android.com/resources/samples/ContactManager/index.htmlนี่คือตัวอย่างที่แสดงวิธีการใช้ And

  • Poetica Studios Java Library ฟรี

    ไลบรารี Java ทั่วไปที่ใช้โดยผลิตภัณฑ์ซอฟต์แวร์ Java ของ Poetica Studios ทั้งหมด ไลบรารีประกอบด้วยโปรแกรมอรรถประโยชน์ตั้งแต่การซีเรียลไลซ์ไปจนถึงอาร์เรย์ไปจนถึงการดีบักและมีคลาสที่มีประโยชน์มากมายเช่นตัวชี้วัตถุและการกระทําที

  • Remote Code Execution for BlueJ ฟรี

    โครงการนี้ขยาย BlueJ Java IDE มีจุดมุ่งหมายเพื่อเพิ่มขีดความสามารถด้านเครือข่ายให้กับอินเทอร์เฟซ BlueJ ผ่าน API ส่วนขยายของ BlueJ เนื่องจาก BlueJ เหมาะที่สุดสําหรับการสอน Java ให้กับโปรแกรมเมอร์ใหม่โครงการนี้จะมุ่งเน้นไปที่กา

  • Radiation calculator ทดลองใช้ฟรี

    แอพคํานวณอัตราปริมาณ ฯลฯ สมมติว่าแหล่งที่มาของจุดในสูญญากาศและการลดทอนเชิงเส้นในวัสดุป้องกัน ไอโซโทปและวัสดุป้องกันสามารถเพิ่มลบหรือแก้ไขได้พบค่าคงที่และสัมประสิทธิ์อัตราแกมมาที่กําหนดไว้ล่วงหน้าบนเว็บ ฉันไม่รับประกันค่าท

  • Fermion Programming Language ฟรี

    ภาษาการเขียนโปรแกรม Fermion เป็นภาษาการเขียนโปรแกรมระดับสูงแบบไดนามิกวัตถุที่มุ่งเน้นภาษาการเขียนโปรแกรมที่ไม่รู้สึกตัว ความเรียบง่ายของภาษาทําให้ Fermion เป็นการเรียนรู้ที่ดีและการสร้างต้นแบบภาษาสําหรับโปรแกรมเมอร์ทุกระดับ

  • Nmdepend ฟรี

    Nmdepend เป็นเครื่องวิเคราะห์การขึ้นต่อกันแบบ 'link-time' ที่มีน้ําหนักเบาสําหรับ C++ ใช้แฟ้มวัตถุและไลบรารีแทนซอร์สโค้ดเป็นข้อมูลป้อนเข้า มันสามารถช่วยในการจัดการการขึ้นต่อกัน 'ข้ามไดเรกทอรี' การขึ้นต่อกันสามารถแสดงภาพร่วมกั

  • Awakener ฟรี

    Awakener มีจุดมุ่งหมายเพื่อให้ห้องสมุด Java สําหรับการแก้ปัญหาการเพิ่มประสิทธิภาพในโลกแห่งความเป็นจริงโดยใช้อัลกอริทึมทางพันธุกรรม (อัลกอริทึมแบบครบวงจรสําหรับ >= 90% ของปัญหาอุตสาหกรรม) Awakener ขยาย Sleepwalker ด้วยอัลกอ