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 missing license metadata

Download
Authors
Documentation
    Tags
    License
      Last updatedThursday, May 30th, 2024 1:36:29am (UTC)
      Ring2
      Conflicts
      Dependencies
      Most recent build results
      Version Exceptions
      VersionSourceChecksum
      defaulthttps://github.com/uwplse/herbie/releases/download/v2.0.2/egg-herbie-macOS-m1.zip61787e6f7995a5b8dbb8be7a3106dbc37052e59c
      Last checkedSaturday, June 29th, 2024 10:08:34pm (UTC)
      Last editedThursday, May 30th, 2024 1:36:29am (UTC)
      Date addedThursday, May 30th, 2024 1:36:29am (UTC)
      Modules
      • egg-herbie/main.rkt