inari is a Rust implementation of interval arithmetic.
It covers all required operations of IEEE Std 1788.1-2017. It also implements some parts of IEEE Std 1788-2015.
A nightly toolchain >= nightly-2021-12-16 is required.
The requirement of a nightly toolchain is due to a few unstable features used in the crate: asm, stdsimd, etc. To use the crate as a dependency, you need to override the toolchain in your project. Here is an example that does this with the rust-toolchain file.
The following CPUs are supported:
x86-64
Haswell-based and newer processors are supported.
You need to specify the target CPU when building a crate that depends on inari. One way to do that is using a configuration file in your project (see example; you may want to change native to haswell for the best compatibility if you are going to distribute binaries).
AArch64 (ARM64)
Experimental, it is not tested continuously.
When using the Cargo feature gmp (see below), target platforms are limited to the ones that are supported by the gmp-mpfr-sys crate. For example, MSVC is not supported.
gmp (enabled by default) - Enables operations that depend on GMP and MPFR. You can opt out the feature to reduce dependencies. Even in that case, you still have access to all operations required by certain kind of tasks, such as making fast robust predicates for computational geometry.bash
RUSTDOCFLAGS="--cfg docsrs --html-in-header /path/to/src/_docs/header.html" cargo doc --open
The absolute path is required for header.html.