package gappa
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
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.3.5.tar.gz
sha512=60b5719e3a321df43e33045fa8f4511fc02a4218d1ae7e476e7c6ebcf90ae208832881f6eea5b99a3296dfcc3a18c7e1f4ea9dbea446fc502e14306b6975f6e6
Description
Published: 11 Apr 2025
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