zarith

Implements arithmetic and logical operations over arbitrary-precision integers
Description

The Zarith library implements arithmetic and logical operations over arbitrary-precision integers. It uses GMP to efficiently implement arithmetic over big integers. Small integers are represented as Caml unboxed integers, for speed and space economy.

Install
Published
10 Nov 2020
Maintainers
Sources
release-1.11.tar.gz
md5=95e8cb358b70f156328c552f1bde8d81
sha512=7c0645d63511d42b763cd0a33b3fb139c26d23ae0cf59cd651388644cb8e7c43a83265d55d69ff3320d8c4586c4f8dbd9c3412197bab2e110c38e6e7dac88b83
Dependencies
Reverse Dependencies