rival3

Interval arithmetic for real computation

Build status: ok passing tests valid license

Documentation Download
Authors
Documentation
Tags
License
Last updatedWednesday, March 4th, 2026 8:28:02am (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/herbie-fp/rival3/releases/latest/download/rival3-racket.zip9d62e364a4d7f9a3864ee632131b4864322bd351
Last checkedWednesday, March 4th, 2026 9:48:15pm (UTC)
Last editedWednesday, March 4th, 2026 8:28:02am (UTC)
Date addedWednesday, March 4th, 2026 1:58:10am (UTC)
Modules
  • rival3/scribblings/rival3.scrbl
  • rival3/scribblings/profile.scrbl
  • rival3/ops.rkt
  • rival3/main.rkt
  • rival3/scribblings/eval.scrbl