Next: Version 2.3.1 (November 1995)
Up: Release Notes
Previous: Version 2.5 (October 1996)
Contents
- Precedences are generated automatically by some analysis
of dependencies between predicate and function symbols.
Now Saturate can be run fully automatically on a set of clauses
without caring about the ordering.
This seems to work well in many cases.
- Saturate can also read input files in TPTP notation.
Harald Ganzinger
2002-12-04
Imprint | Data Protection