SPINdle-开源

【文件属性】：

文件名称：SPINdle-开源

文件大小：947KB

文件格式：ZIP

更新时间：2024-05-17 04:48:49

开源软件

SPINdle是一种逻辑推理器，可用于以有效方式计算可废除逻辑理论的结果。 当前的实现涵盖了基本的可废止逻辑和模态可废止逻辑。