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
    Last updatedMonday, March 3rd, 2025 7:16:01pm (UTC)
    Ring2
    Conflicts
    Dependencies
    Most recent build results
    Version Exceptions
    VersionSourceChecksum
    defaulthttps://github.com/uwplse/herbie/releases/download/v2.1/egg-herbie-ubuntu.zip25ae05bc3bee2fc2bb4aa7273a81b6d6efd3e672
    Last checkedTuesday, March 25th, 2025 12:35:04pm (UTC)
    Last editedThursday, July 18th, 2024 10:03:53pm (UTC)
    Date addedThursday, November 21st, 2019 8:43:45pm (UTC)
    Modules
    • egg-herbie/main.rkt