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 语言完成,代码已开发约两年。