A Rust interval arithmetic library which provides flags that detect domain errors, supports more functions than any other interval arithmetic library written in Rust, and provides more precise implementations of interval functions. It is a direct transcription of Rival- https://github.com/herbie-fp/rival
- Docs
- C bindings and header file
- CI like egg's: https://github.com/egraphs-good/egg