The Alt-Ergo verifier
Copyright (C) 2006 Sylvain Conchon

This program is free software; you can redistribute it and/or modify
it under the terms of the CeCILL-C FREE SOFTWARE LICENSE AGREEMENT.

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

See the CeCILL-C FREE SOFTWARE LICENSE AGREEMENT version 1 for more
details (enclosed in the file CeCILL-C).