
   Alt-Ergo: The SMT Solver For Software Verification
   Copyright (C) 2013-2023 --- OCamlPro SAS

   This is an exceptional free release of Alt-Ergo dual-licensed
   under the OCamlPro-Non-Commercial-License and
   the CeCILL-C License. More details below.

   This file is distributed under the terms of OCamlPro
   Non-Commercial Purpose License, version 1 or under the terms
   of the CeCILL-C License v1.

   As an exception, Alt-Ergo Club members at the Gold level can
   use this file under the terms of the Apache Software License
   version 2.0.

   ---------------------------------------------------------------

   The Alt-Ergo theorem prover

   Sylvain Conchon, Evelyne Contejean, Francois Bobot
   Mohamed Iguernelala, Stephane Lescuyer, Alain Mebsout

   CNRS - INRIA - Universite Paris Sud

   Until 2013, some parts of this code were released under
   the Apache Software License version 2.0.

   ---------------------------------------------------------------

   More details can be found in the directory licenses/

