Package: libsollya-dev
Source: sollya
Version: 8.0+ds-3build1
Architecture: arm64
Maintainer: Debian Math Team <team+math@tracker.debian.org>
Installed-Size: 4219
Depends: libsollya8 (= 8.0+ds-3build1), libgmp-dev, libmpfr-dev, libmpfi-dev, libfplll-dev, libxml2-dev
Suggests: sollya-doc (= 8.0+ds-3build1)
Enhances: sollya (= 8.0+ds-3build1)
Section: libdevel
Priority: optional
Multi-Arch: same
Homepage: https://www.sollya.org/
Description: library for safe floating-point code development -- libdev
 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 automated
 implementation of mathematical floating-point libraries.
 .
 Initially, Sollya was intended more specifically for people implementing
 numerical functions in mathematical libraries (e.g., exp, arccos, tanh, etc.).
 Since then, the tool has evolved and has now become interesting not only to
 developers of mathematical libraries, but also to everyone who needs to
 perform numerical experiments in an environment that is safe with respect to
 round-off errors.
 .
 This package provides the static library, symbolic links, and headers needed
 for development.
