The Why platform for program certification
Copyright (C) 2002-2008
  Romain BARDOU
  Jean-François COUCHOT
  Mehdi DOGGUY
  Jean-Christophe FILLIÂTRE
  Thierry HUBERT
  Claude MARCHÉ
  Yannick MOY
  Christine PAULIN
  Yann RÉGIS-GIANAS
  Nicolas ROUSSET
  Xavier URBAIN

This program is free software; you can redistribute it and/or modify
it under the terms of the GNU Library General Public License version 2.1,
with the special exception on linking described in file LICENSE.

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.