egg-herbie

A Herbie component to simplify mathematical expressions using the egg egraph library

Build status: ok passing tests valid license

README Download
Authors
Documentation
    Tags
    License
    Language familiesRacket
    Last updatedSaturday, August 22nd, 2026 2:38:35am (UTC)
    Ring1
    ConflictsNone
    Dependencies
    Build platformsany platform
    Most recent build results
    Version Exceptions
    VersionSourceChecksum
    defaulthttps://github.com/herbie-fp/egg-herbie.git4fe7d1919a34fc427d6987560c96337dfa0aa100
    Last checkedThursday, September 17th, 2026 11:27:04pm (UTC)
    Last editedThursday, March 28th, 2024 1:56:54am (UTC)
    Date addedTuesday, December 8th, 2020 8:51:53pm (UTC)
    Modules