- libc6 (>= 2.38)
- libgcc-s1 (>= 3.0)
- libgmp10 (>= 2:6.3.0+dfsg)
- libmpfr6 (>= 3.1.3)
- libstdc++6 (>= 14)
- libjs-sphinxdoc (>= 7.4)
Tool to help verify and prove properties on numerical
programs dealing with either fixed-point or floating-point
arithmetic.
Installed Size: 1.5 MB
Architectures: amd64 arm64