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% 的行业问题)解决实际的现实世界优化问题。觉醒者使用特定的算法扩展梦游者。