Filewatcher File Search File Search
Catalog
Content Search
» » » » alt-ergo_0.94.orig.tar.gz » Content »
pkg://alt-ergo_0.94.orig.tar.gz:188414/alt-ergo-0.94/  info  downloads

README

**************************************************************************
*                                                                        *
*     The Alt-Ergo theorem prover                                        *
*     Copyright (C) 2006-2011                                            *
*                                                                        *
*     Sylvain Conchon                                                    *
*     Evelyne Contejean                                                  *
*                                                                        *
*     Francois Bobot                                                     *
*     Mohamed Iguernelala                                                *
*     Stephane Lescuyer                                                  *
*     Alain Mebsout                                                      *
*                                                                        *
*     CNRS - INRIA - Universite Paris Sud                                *
*                                                                        *
*   This file is distributed under the terms of the CeCILL-C licence     *
*                                                                        *
**************************************************************************

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.
Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2017 FileWatcher.com