- libc6 (>= 2.34)
- libgcc-s1 (>= 3.0)
- libgmp10 (>= 2:6.2.1+dfsg1)
- libmpfr6 (>= 3.1.3)
- libstdc++6 (>= 11)
- libjs-sphinxdoc (>= 4.3)
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