Comment on Herbie: Automatically improve imprecise floating point formulasparentComments−bhargavkk5moHerbie uses interval arithmetic a lot! The team has a in-house developed interval arithmetic library you can use at: https://crates.io/crates/rival3.
Comments
Herbie uses interval arithmetic a lot! The team has a in-house developed interval arithmetic library you can use at: https://crates.io/crates/rival3.