
The Why3 Verification Platform   /   The Why3 Development Team
Copyright 2010-2013   --   INRIA - CNRS - Paris-Sud University

This software is distributed under the terms of the GNU Lesser
General Public License version 2.1, with the special exception
on linking described in file LICENSE.

