The Saturate System
Harald Ganzinger
Robert Nieuwenhuis
Pilar Nivela
The Saturate system is an experimental theorem prover for first-order
logic, primarily based on saturation.
Description of the system (html)
Description of the system (Postscript)
Download gzipped tar file (1 MB) requires Quintus Prolog 3.x or SICStus Prolog 3.x. and SunOS 5.x (Solaris) or Linux
Harald Ganzinger
Last modified: Wed Nov 20 17:25:37 MET 2002