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
Imprint | Data Protection