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 工具,用於基於基於 wxWidgets 跨平臺 GUI 框架開發應用程式 C++和 Python (wxPython)。它具有高性能編輯器,用於直觀地設計應用程式的 GUI 資源。
-
Unit Test Framework 免費
具有C++ Windows 的一個單元測試框架。圖形和控制台顯示,僅利用Windows API有助於相容所有 Windows C++編譯器和框架
-
Contact: AndroidBinding Demo 免費試用
這是 Android 綁定的另一個演示, 這是基於官方 Android 聯繫人管理器示例: http://developer.android.com/resources/samples/ContactManager/index.html這是一個範例,示範如何使用 Android 綁定簡化原始範例代碼中顯示使用者介面代碼需求。源碼可在以下時間下載:http://code.google.com/p/android-binding/
-
Poetica Studios Java Library 免費
所有詩工作室 JAVA 軟體產品使用的通用 JAVA 庫。 該庫包括從序列化到陣列到調試等各種使用的實用程式,並包括許多有用的類,如物件指標和存儲的操作。
-
Remote Code Execution for BlueJ 免費
此項目擴展了 BlueJ Java IDE。它旨在透過 BlueJ 的擴展 API 向 BlueJ 介面添加網路功能。由於 BlueJ 最適合向新程式師教授 JAVA,因此此專案將側重於教學。
-
Radiation calculator 免費試用
該應用程式計算劑量率等假設在真空和線性衰減的遮罩材料點源。可以添加、刪除或修改同位素和遮罩材料。預定義的伽瑪速率常數和衰減係數在 Web 上找到。我不保證正確的預定義值。
-
Fermion Programming Language 免費
Fermion 程式設計語言是一種動態的高級別、面向物件、不區分大小寫程式設計語言。語言的簡單性使Fermion成為所有級別的程式師學習語言和原型語言的一個很好的工具。
-
Nmdepend 免費
Nmdepend 是一個輕量級的"鏈接時間"依賴分析C++。它使用物件檔和庫,而不是原始碼作為輸入。它可以説明管理「跨目錄」依賴關係。依賴關係可以與 Graphviz 組合可視化。
-
Awakener 免費
Awakener 旨在提供一個 Java 庫,通過遺傳演算法(交鑰匙演算法,用於 >= 90% 的行業問題)解決實際的現實世界優化問題。覺醒者使用特定的演算法擴展夢遊者。