Java Decision Diagram Libraries 103
您将能够在 5 秒内下载。
您也可以点击以下外部下载链接进行下载:
http://sourceforge.net/projects/javaddlib/files/JDD%20binary%20release/JDD.jar-build103/jdd_103.jar/download
关于 Java Decision Diagram Libraries
此项目包含两个不同的二进制决策图 (BDD) 库:JBDD:一个 Java 接口,指向两个流行的 BDD 库 CUDD 和 BuDdy。JDD:支持BD、Z-BDD等的本机Java库(图形/自动机/Petri网络/SAT)
相关软件
-
Tableflow 免费
Tableflow 是一个 Java Web 组件,用于使用可执行数据流范例连接表格数据。此项目包括一个高级数据网格组件,该组件与 JSF 兼容,该组件具有支持筛选、分页、排序等功能。
-
Internet Packet Debugger 免费
Winsock v1/v2 发送和接收的数据包的实时调试器、过滤器、嗅探器和记录器。还包括断点等功能。您可以在目标程序接收或发送数据包之前实时编辑数据包。
-
MDGen - Model-driven J2EE code generator 免费
MDGen 是 UML 类模型驱动的 J2EE 代码生成器。它使用 XML 来描述类模型,并应用 XSL 模板生成会话/实体 EJB、Struts 代码、部署描述符、数据库创建/删除脚本、资源文件和 Ant 生成脚本。
-
mySQL32 免费
mySQL32 是一种 C++ 类 dll API,旨在将 MySQL C API 封装到简单的方法、成员和 objet 模型中,适用于需要在应用程序中使用 mySQL 且无需直接调用 MySQL C API 或 ODBC 的开发人员。
-
MultiViL 免费
MultiViL 是多视图学习的工具。它支持四个分类器(KNN、Naive-Bayes、Rochio 和 SVM-Perf),四种视图组合方法(多数投票、博尔达计数、登普斯特-沙弗证据理论和 PSO),并提供许多分析工具。
-
Alexis Make 免费
使用 amake 维护软件(开发人员的制造实用程序)。支持强大的模式识别和转换。单个 makefile 可用于编译整个项目。
-
pypnetcdf 免费
PyPNetCDF 是一个基于数字的 Python 包,它允许使用 MPI 和创建到 PnetCDF 库的接口在并行环境中读取和/或写入 NetCDF 文件。这些对象与康拉德·欣森的定义非常相似,但以平行的方式。
-
libbinxml 免费
BINXML 库的创建是为满足在 xml 文件中嵌入二进制数据所需的有效方法。它提供了用于将二进制文件编码和解码到有效的 UTF-16 文本文件中的例程,这些文本文件可以嵌入到 XML 文件中。
-
OGen 免费
OGen 是代码生成器。它基于用户提供的 xml 元数据和 aspx/xslt 模板在文本文件和数据库函数(当前支持 PostgreSQL 和 SQL Server)上生成代码。
-
HTTP Inspector Light 免费
发出 HTTP GET、POST 和 HEAD 请求并发送自定义标头。支持 SSL,包括自签名证书。然后,您可以查看来自服务器的响应,包括标头和呈现的响应以及适当的原始响应。20/6/2010 - 一些错误修复