提交軟體
  1. 首頁
  2. Linux軟體
  3. 其他
  4. Java Decision Diagram Libraries

Java Decision Diagram Libraries 103

軟體性質： 免費 ‎檔案大小： N/A
‎使用者評分： 4.0/5 - ‎1 ‎評分
點擊下載

此專案包含兩個不同的二進位決策圖 （BDD） 庫：JBDD：一個 JAVA 介面，指向兩個流行的 BDD 庫 CUDD 和 BuDdy。JDD：支援BD、Z-BDD等的本機JAVA庫（圖形/自動機/Petri網络/SAT）

版本歷史記錄

  • 版本 JDD.jar-build103 發佈於 2009-03-10
    若干修復和更新
  • 版本 JDD.jar-build103 發佈於 2009-03-10

軟體細節

相關軟體

  • 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 - 一些錯誤修復