文件名称：逻辑性：用于逻辑研究的库和CLI助手
文件大小：3.24MB
文件格式：ZIP
更新时间：2024-03-03 04:12:20
C++
逻辑性 用于逻辑研究的库和CLI助手。 建立 mkdir build cd build cmake ../sources . cmake --build . 测试 make test 项目主体结构 /docs ：文档 /sources/include /cli ：存储与CLI应用程序相关的所有代码 /apps ：存储/apps的代码，例如公理化算法 /core ：所有核心代码 syntax.h ：与syntax.h ，签名和公式有关的代码 common.h和utils.h ：其他代码段所关注的代码段 exception.h ：任何异常代码都在这里 /combinatorics ：与组合任务相关的代码，例如生成另一组的所有子集 /exception ：文件夹中包含异常代码（是的，这必须在某些时候与exception.h统一） parser ：存储用于解析公式和其他实体的代码（目前仅适用于