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, June 8th, 2026 6:28:37am (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-ubuntu.zip25ae05bc3bee2fc2bb4aa7273a81b6d6efd3e672
    Last checkedTuesday, August 4th, 2026 10:27:02pm (UTC)
    Last editedFriday, July 31st, 2026 5:39:37am (UTC)
    Date addedThursday, November 21st, 2019 8:43:45pm (UTC)
    Modules
    • egg-herbie/main.rkt