math/gappa 1.6.1 NetBSD

Formal verification tool for numerical programs

Homepage
Browse the package
Other distributions
Search similar

System: NetBSD
Repository: pkgsrc
Maintainer: [email protected]
License: cecill-2.1 OR gnu-gpl-v3
Categories: math
Package size: 241.2 KiB, 875.6 KiB installed

Description

Gappa is a tool intended to help verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic.

Install

Binary package:

pkgin install gappa

From pkgsrc:

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

Dependencies

Run dependencies 2

devel/gmp
math/mpfr

No port depends on this one.