BSD Ports

math/sollya 8.0nb9 NetBSD

Environment and library for safe floating-point code development

System
NetBSD
Repository
pkgsrc
Maintainer
[email protected]
License
cecill-2.0 AND gnu-lgpl-v3
Categories
math
Package size
951.1 KiB, 6860.1 KiB installed

Description

Sollya is both a tool environment and a library for safe floating-point code development. It is particularily targeted to the automatized implementation of mathematical floating-point libraries (libm). Amongst other features, it offers a certified infinity (supremum) norm and a fast Remez algorithm.

Install

Binary package:

pkgin install sollya

From pkgsrc:

cd /usr/pkgsrc/math/sollya && make install clean

Dependencies

Run dependencies 5

No port depends on this one.