Parallel Sat4J 0.01
คุณจะสามารถดาวน์โหลดได้ภายใน 5 วินาที
นอกจากนี้คุณยังสามารถคลิกที่ลิงค์ดาวน์โหลดภายนอกต่อไปนี้เพื่อเริ่มดาวน์โหลด:
http://sourceforge.net/projects/parallelsat4j/files/parallelsat4j/0.01/org.tar.gz/download
เกี่ยวกับ Parallel Sat4J
นี่เป็นโครงการทางวิชาการ วัตถุประสงค์หลักคือการสร้างอัลกอริทึมเพื่อขนานกับสูตร CNF แล้วป้อนชิ้นส่วนที่กระจายไปยังตัวแก้ปัญหา SAT ตามลําดับสําหรับโครงการนี้เราได้เลือกที่จะใช้ Sat4J เป็นผู้แก้ปัญหา
หลักสูตรที่เกี่ยวข้อง
-
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 ด้วยอัลกอ