UNB Theorem Prover?

相关软件

• fastAOP 免费

  FastAOP 是 java 的高性能 AOP（面向方面编程）框架。框架最初是开发以支持大型 J2EE 应用程序的性能分析和监视，并且几乎无需运行时间过。

• Butterfly Code Generator 免费

  蝴蝶是一个简单的代码生成器，使用XMI作为输入和XSLT模板来生成任何类型的代码。 提供了多个模板，包括 EJB、JDO 和 Struts。用户可以使用模板、修改模板或使用 XSL 创建新模板。

• Neural network designer 免费

  该项目包括一个基于窗口的设计器应用程序和一个库（可以在多个平台上运行，包括Android）以及几个演示应用程序（包括一个MVC3聊天机器人客户端和一个Android应用程序）。与数据库管理系统相比，它可能最好，但对于神经网络而不是关系数据。因此，库经过优化，可使用高级流式处理和缓存算法处理任何类型的数据大小。通过设计器，您可以创建不同类型的决策树、随机林、n-gram、模式匹配器、会话代理和各种 AI 相关算法。您可以组合统计方法以及模式

• DL-Learner 免费

  DL-Learner 是一个工具，用于从用户提供的示例中学习描述逻辑 （DL） 中的概念。相反，它可用于从选定对象中学习 OWL 的类。

• MakeEmbeddedRootfilesystem 免费

  Makerootfs 通过 shell 脚本、修补程序和默认配置自动实现交叉编译过程，使嵌入式设备（例如基于 ARM）构建根文件系统变得容易。与使用 uClibc 的构建根不同， makerootf 使用完整的 glibc 。

• VCS Agents and Tools 免费

  该项目的目标是在开源的基础上为 Veritas 群集服务器提供插件（"代理"） 。

• Etnia Workbench 免费

  CDT 项目 wich 的扩展配置额外的编译器和其他插件，使集成各种拼贴形式（实际上是德州仪器和 PIC 微处理器）

• Steini\'s Mini Compiler 免费

  Steini 的迷你编译器是一个快速的 DOS 16 位编译器。请帮助改进编写新命令的编程语言。编译器为编译过程使用一组程序集文件。

• JCustomizer 免费

  JCustomizer 项目的目标是在运行时对每个 Java Swing/AWT GUI 进行通用和持久自定义：字体、颜色、文本、加速器、 ...一个很好的伴奏是所见即所得的国际化，无需编程工作。

• net.sourceforge.ajstruts 免费

  2003 年 11 月 11 日在德国 "Java Magazin" 杂志上发表的一篇文章 （http://ajstruts.sf.net） 的源代码显示如何调整第三方 libs（例如支柱），以便使用 AspectJ 和 XSLT 样式表轻松迁移到新的库版本