Simplify:基于 AUFLIA 理论的未排序一阶逻辑的自动求解器

【文件属性】：

文件名称：Simplify:基于 AUFLIA 理论的未排序一阶逻辑的自动求解器

文件大小：14.07MB

文件格式：ZIP

更新时间：2024-07-19 03:04:05

Java

简化 Simplify 是基于 AUFLIA 理论的未排序一阶逻辑的自动求解器。 该存储库包含 Simplify 本身和用于 Simplify 的 Eclipse 插件。