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 樣式表輕鬆遷移到新的庫版本