The Why platform for program certification
Copyright (C) 2002-2008
  Romain BARDOU
  Jean-Franois COUCHOT
  Mehdi DOGGUY
  Jean-Christophe FILLITRE
  Thierry HUBERT
  Claude MARCH
  Yannick MOY
  Christine PAULIN
  Yann RGIS-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.

