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