This is a patch release for the FOL Logic and includes the following fixes:
- Fixed subtle defect in Model Elimination inference algorithm, which caused it to miss portions of the search space.
- Improved the performance of both theorem provers, in particular added support for forward and backward subsumption elimination, which improves significantly the performance and use of the OTTER Like theorem prover.
- Fixed defect in cascade occurs check in unifier logic.
No comments:
Post a Comment