egg-herbie-macosm1

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

Build status: ok failing tests valid license

Download
Authors
Documentation
    Tags
    License
    Last updatedTuesday, June 17th, 2025 7:54:04pm (UTC)
    Ring2
    Conflicts
    Dependencies
    Most recent build results
    Version Exceptions
    VersionSourceChecksum
    defaulthttps://github.com/herbie-fp/herbie/releases/download/v2.1/egg-herbie-macOS-m1.zip10992bdb27991393e37887528e8010f383d12f65
    Last checkedThursday, December 4th, 2025 3:51:30am (UTC)
    Last editedThursday, July 18th, 2024 10:03:24pm (UTC)
    Date addedThursday, May 30th, 2024 1:36:29am (UTC)
    Modules
    • egg-herbie/main.rkt