Bug#827509: ITP: sollya -- library for safe floating-point code development

[Jerome Benoit <calculus@rezozer.net>]

Package: wnpp
Severity: wishlist
Owner: Jerome Benoit <calculus@rezozer.net>

* Package name    : sollya
  Version         : 5.0.0
  Upstream Author : Christoph Lauter <christoph.lauter@lip6.fr>
* URL             : http://sollya.gforge.inria.fr/
* License         : Cecill-C
  Programming Lang: C
  Description     : library for safe floating-point code development

Sollya is both a tool environment and a library for safe floating-point
code development. It offers a convenient way to perform computations with
multiple precision interval arithmetic. It is particularly targeted to the
automatized implementation of mathematical floating-point libraries (libm).

The Sollya library also opens to dynamical extension with bindings such as
for Python and Sage.

This package will be maintained on behalf of the Debian Science Team.