This directory contains two separate programs:
*** Creal v0.1
Copyright (C) 2000 Jean-Christophe Filliâtre.
This module consists in the files containing the name "creal" and
carrying J.C. Filliâtre's copyright.
Most algorithms are from Valérie Ménissier-Morain Ph.D. thesis
(http://www-calfor.lip6.fr/~vmm/)
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, as
published by the Free Software Foundation.
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 GNU Library General Public License version 2 for more details
This module was adapted for correct linking with the current version
of ML GMP by D. Monniaux.
*** ML GMP 2002/07/29
Copyright (c) 2001,2002 David Monniaux
This package provides an interface between Objective Caml
(http://www.inria.fr) and
- the GNU MP (http://www.swox.com/gmp/) library
- the MPFR (http://www.mpfr.org) library
The current version is meant for
- Objective Caml 3.04
- GNU MP 4.1
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, as
published by the Free Software Foundation, or any more recent version
published by the Free Software Foundation, at your choice.
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 GNU Library General Public License version 2 for more details
(enclosed in the file LGPL.txt).
As a special exception to the GNU Library General Public License, you
may link, statically or dynamically, a "work that uses the Library"
with a publicly distributed version of the Library to produce an
executable file containing portions of the Library, and distribute
that executable file under terms of your choice, without any of the
additional requirements listed in clause 6 of the GNU Library General
Public License. By "a publicly distributed version of the Library",
we mean either the unmodified Library as distributed by the author, or a
modified version of the Library that is distributed under the
conditions defined in clause 3 of the GNU Library General Public
License. This exception does not however invalidate any other reasons
why the executable file might be covered by the GNU Library General
Public License.