libLogic
您將能夠在 5 秒內下載。
關於 libLogic
libLogic 是一個軟體庫,用於自動定理證明,具有正確和高效地證明任何順序邏輯理論中所有可證明語句的能力,無需人工説明。
相關軟體
-
CMS Utilities 免費
cmsutils 提供的程式,説明您開發,創建和翻譯 cms (郵政, Xaraya,...) 模組。寫在德爾福/基利克斯
-
luabridge 免費
Luabridge 是一個輕量級的、無依賴項的庫C++將函數和類匯出到 Lua 環境。它使用符合標準的C++元程式設計,並針對Lua 5.1.2編寫。
-
svgconv 免費
svgconv 是一種內容工具,用於將 SVG 路徑轉換為 C 格式,可輕鬆與 OpenVG 一起使用。
-
Mobile StrongBOX - Data Vault 免費試用
Mobile StrongBOX 是最佳數據保護應用程式,專為安全存儲私人資訊而設計,例如照片或視頻、密碼、銀行帳戶數據、文檔以及您想要保護的任何內容。該應用程式的主要目的是數據安全,並使用針對行動電話優化的強加密系統。它不僅隱藏數據,還使用業界最強的加密演算法對其進行加密。今天,我們帶著我們的手機,無論我們走到哪裡,我們可以有我們的私人數據與我們。以私人照片為例:我們手機上都有私人照片,但萬一我們丟失了手機,我們遇到了麻煩,因為其他人可
-
embedded Finite State Machine (eFSM) 免費
嵌入式有限狀態機 (FSM) 設施,可用於建模和控制反應系統或有狀態系統。系統可以由任何數量狀態表示。狀態轉換由許多事件驅動。eFSM 以 C 書寫。
-
Albert 免費
Albert 是公共 Lisp 的文件產生器,可與 Javadoc 和 Doxygen 相媲美。目前,它產生文檔文檔。它讀取 ASDF 系統定義並記錄系統。
-
SETILog for Unix 免費
SETILog 將已完成的一個SETI@home在文本 CSV 檔中保存工作單元。SETIWatch 需要此檔來跟蹤已完成的工作單元。
-
HappyDoc 免費
HappyDoc 是一個從 Python 原始碼中提取文檔的工具。 它與其他此類應用程式不同,因為它使用模組的解析樹來派生資訊,並且不導入模組。
-
OpenCL .Net 免費
這個項目嘗試做兩件事。首先,它提供對 OpenCL API 的綁定,該 API 盡可能與 OpenCL 1.1 規範鏡像。其次,它提供了更高級別的 API 抽象。網路一樣。
-
PAPAS: Path Planning Algorithm Suite 免費
PAPAS(路徑規劃演算法套件)是一組用於路徑規劃的演算法。它有常見的演算法,如PRM,RRT,波前規劃器等。實現以 C 語言完成,代碼已開發約兩年。