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.1.tar.gz
sha512=c881eb35ad867320c2232c200dde66149fcd8a27972b8dfac1256a477a53e1885a7f89f82e70dbef553ce152e4afb0778bc347ed28cd4d698a1a69e308114aa2
Description
Published: 22 Mar 2023
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