Zarith
Zarith copied to clipboard
ocaml
The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is very efficient.
I'm not sure if this is the correct place to report this, but when installing `zarith` via opam and `OCAMLFIND_DESTDIR` has been set (i.e. because of a Nix shell) then...
Continue the effort started in https://github.com/ocaml/Zarith/pull/73. In particular, it tries to address the following comment > To get a more decisive opinion and be excited about this, it would help...
This is a preliminary draft PR for building `zarith` with dune; my motivation was to be able to compose `zarith` with other developments, so far seems to work well! If...
I have a project (github mdxtoc/qtpi) which uses zarith. Many thanks for zarith, by the way. I distribute my program to not very many users on macOS, Windows and Linux....
As pointed out in #118, the `Z_mlgmpidl` module present here can be used, but it's not built or packaged on opam. Since it works, it shouldn't hurt to also publish...
Hello, I've been trying to get a Windows build compatible with MSVC ABI (to load a .dll in a MSVC compiled binary). Has anyone managed to compile gmp/zarith in a...
When I run `opam install zarith`. It fails with the following error: ``` The following actions will be performed: ∗ install zarith 1.13 Processing actions ⬇ retrieved zarith.1.13 (cached) [ERROR]...
This PR adds LibTomMath support as alternative backend to GMP and MPIR. This is especially useful for compilation under Windows. Using LibTomMath is enabled using the `-tommath` option in `configure`....
The `./configure` does not seem to find `gmp.h` on ARM based MacOS even though the gmp 6.3.0 is installed with homebrew. ``` binary ocaml: found in /Users/arozovyk/.opam/default/bin binary ocamlc: found...
