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

[Jerome BENOIT]

-------- Forwarded Message --------
Subject: Bug#827509: ITP: sollya -- library for safe floating-point code development
Resent-Date: Fri, 17 Jun 2016 07:06:02 +0000
Resent-From: Jerome Benoit <calculus at rezozer.net>
Resent-To: debian-bugs-dist at lists.debian.org
Resent-CC: debian-devel at lists.debian.org, wnpp at debian.org
Date: Fri, 17 Jun 2016 08:02:32 +0100
From: Jerome Benoit <calculus at rezozer.net>
Reply-To: Jerome Benoit <calculus at rezozer.net>, 827509 at bugs.debian.org
To: Debian Bug Tracking System <submit at bugs.debian.org>

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

* Package name    : sollya
  Version         : 5.0.0
  Upstream Author : Christoph Lauter <christoph.lauter at 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.