LoTREC 2.0下载地址

允许你测试逻辑的战略和公式。

LoTREC是一个画面定理证明的学生和研究人员，处理模态逻辑实现。

它可以让你创建一个逻辑定理，创建一组连接器，规则和策略。为了测试的逻辑式，将被用在所有的项目。

要求：

·相关 Java运行时

此版本中的神器出山:www.shenqi73.com新功能：

推出的Tableau制造商控制：停止，暂停/恢复模式的场面建设过程中给予用户更多的控制。因此，无限循环，可能引发不可预知的行为的一些规则组合，可以手动停止的用户。
·步骤分步运行模式：用户可以破发点上他们的规则，任何的子集，LoTREC将展示如何建立的模型应用给定的画面时，规则变化。
·新套路“applyOnce”：这个程序引入到前端调用给定的规则。事实上，当一个给定的规则应用上的部分画面，LoTREC寻找每一个图模式匹配规则的条件和适用规则的行动，对所有的模式相匹配。这就是为什么用户不能适用的规则只有一个匹配的模式，然后记住它的完成，为了不适用其他的模式相匹配。例如，当两个岛被发现在两个diffrent节点在同一时间，的规则创建继任者，将创建两个继承人和C ...