
Alt-Ergo is an automatic theorem prover.  Alt-Ergo's input is an arbitray
first-order formula.


Various examples can be found in the subdirectory tests/.

COPYRIGHT
=========

This program is distributed under the CeCILL-C licence.
See the enclosed file COPYING.


INSTALLATION
============

See the enclosed file INSTALL.
