CRPC 0.7.6-090920

相關軟體

• Parallel Sat4J 免費

  這是一個學術專案;主要目標是生成一個演算法來並行化 CNF 公式，然後將分散式零件饋送至順序 SAT 解算器，對於此專案，我們選擇使用 Sat4J 作為解算器。

• Yamwi 免費

  然而，另一個馬克西瑪網路介面。在批次處理模式下透過 Web 執行 Maxima 程式。數學結果以 ASCII 藝術樣式或基於 TeX 的二進位檔返回。

• UIChart iOS component 免費試用

  Rustemsoft UIChart 控制項能夠創建 iOS 應用，使用簡單、直覺化且視覺上引人注目的圖表，用於不同圖表類型（包括圓柱圖、圓柱形圖、面積圖和其他圖表類型）中的複雜統計或財務分析。您可以使用 UIChart 控制件顯示少量數據的圖形，也可以縮放它以顯示非常大的數據集的圖表。圖表物件可以彼此定位或重疊。這為您提供了創建自定義圖表的自由。繪圖區域位於圖表內，UIChart 控制件在其中繪製數據系列。它也是繪製軸、網格線、剖面線、漸變佈局

• LAAAD 免費

  這是模組和 HOWTOs 的集合，允許擴展 Active Directory，並為 Linux 主機的 LDAP/SSL 身份驗證提供支援，為 Linux 用戶設置本地主目錄佔用空間，並在登錄時安裝其 smbfs 遠端主目錄。

• ARAStoUML 免費

  ArastoUML 是阿拉斯創新者數據模型和 UML 之間互動的專案

• Ira DB Manager 免費

  此專案的目的是讓 DBA 和開發人員比較、同步和管理其任何 Access 資料庫。此外，未來的計劃是為檔的每個表生成用於 INSERT/SELECT/更新/刪除操作的 SQL 組合語句

• Another Korean Keyboard 免費試用

  另一個漢古爾（韓國）IME不僅輸入韓語，而且輸入在韓國經常使用的中文和符號。

• SimpleCM 免費

  SimpleCM 是一個簡單的內容管理員，旨在方便使用者更改。它的設計是以用戶為設計。它將透過管理介面發貨，以説明您配置 SimpleCM。

• kernel/userspace shared memory driver 免費

  mbuff.o 模組和 /dev/mbuff 旨在用作共用記憶體設備，使使用 vmalloc 在內核中分配的記憶體可以映射到使用者空間中。特別推薦用於 RT-Linux 任務/ 用戶空間通信。

• Rich Web Application Development Tool 免費

  該專案旨在簡化使用 Laszlo Openserver 開發豐富的 Web 應用程式。該專案的初衷只是證明生成資料庫應用程式的可能性。但是我們現在有一個更高的目標。