egg-herbie-linux

A Herbie component to simplify mathematical expressions using the egg egraph library (Linux pre-build package)

Build status: ok failing tests valid license

Download
Authors
Documentation
    Tags
    License
    Language familiesRacket
    Last updatedMonday, August 17th, 2026 2:36:29am (UTC)
    Ring2
    Conflicts
    Dependencies
    Build platformsany platform
    Most recent build results
    Version Exceptions
    VersionSourceChecksum
    defaulthttps://github.com/uwplse/herbie/releases/download/v2.3/egg-herbie-linux.zip32c2844385f3b18af54a0f5bb87096d100f203ae
    Last checkedSunday, September 13th, 2026 7:26:59pm (UTC)
    Last editedMonday, August 17th, 2026 2:36:29am (UTC)
    Date addedThursday, November 21st, 2019 8:43:45pm (UTC)
    Modules
    • egg-herbie/main.rkt