egg-herbie-osx

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

Build status: ok failing tests valid license

Download
Authors
Documentation
    Tags
    License
    Last updatedTuesday, June 17th, 2025 7:54:10pm (UTC)
    Ring2
    Conflicts
    Dependencies
    Most recent build results
    Version Exceptions
    VersionSourceChecksum
    defaulthttps://github.com/herbie-fp/herbie/releases/download/v2.1/egg-herbie-macOS.zipe9325e7a2eb571076147e54c95f8841f5b66a0ad
    Last checkedTuesday, July 1st, 2025 3:53:46pm (UTC)
    Last editedThursday, July 18th, 2024 10:03:08pm (UTC)
    Date addedThursday, November 21st, 2019 8:43:08pm (UTC)
    Modules
    • egg-herbie/main.rkt