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 updatedMonday, March 3rd, 2025 7:16: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.zipe9325e7a2eb571076147e54c95f8841f5b66a0ad
    Last checkedSunday, June 15th, 2025 2:53:08am (UTC)
    Last editedThursday, July 18th, 2024 10:03:08pm (UTC)
    Date addedThursday, November 21st, 2019 8:43:08pm (UTC)
    Modules
    • egg-herbie/main.rkt