Version française
Home     About     Download     Resources     Contact us    

The Caml Hump: Creal

Creal

An exact real arithmetic module for OCaml.
Homepage ]
Author:Jean-Christophe Filliâtre and David Monniaux.
Last modification date:07-Nov-2005
Version:0.7
Development status:Beta
Kind: Libraries :: Bindings with C libraries
License: Open Source :: LGPL
Topic: General purpose libraries :: Numeric computation
Homepage:http://www.lri.fr/~filliatr/software.en.html