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.1/egg-herbie-ubuntu.zip25ae05bc3bee2fc2bb4aa7273a81b6d6efd3e672
    Last checkedThursday, June 18th, 2026 6:26:56pm (UTC)
    Last editedThursday, July 18th, 2024 10:03:53pm (UTC)
    Date addedThursday, November 21st, 2019 8:43:45pm (UTC)
    Modules
    • egg-herbie/main.rkt