package gappa
Tool intended for formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic
Install
Dune Dependency
Authors
Maintainers
Sources
gappa-1.4.0.tar.gz
sha512=d5ed841fc8def27ae3973c97d9a242e2fe4997888d3a8c2d46029aab2c5311ec5d0df3a0780fc88eead20d6aa4b34122c9bb8d290f3a2b4886488f34602d43c7
Description
Published: 07 Oct 2021
Dependencies (8)
-
conf-flex
build -
conf-bison
build - conf-boost
- conf-mpfr
- conf-gmp
-
conf-automake
build -
conf-autoconf
build -
conf-g++
build
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page