egg-herbie-linux

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

Build status: ok failing tests missing license metadata

Download
Authors
Documentation
    Tags
    License
      Last updatedFriday, February 2nd, 2024 11:09:06pm (UTC)
      Ring2
      Conflicts
      Dependencies
      Most recent build results
      Version Exceptions
      VersionSourceChecksum
      defaulthttps://github.com/uwplse/herbie/releases/download/v2.0.2/egg-herbie-ubuntu.zipab437f0661f9c78346a95b2ba3f63171f609351a
      Last checkedThursday, April 25th, 2024 4:04:24pm (UTC)
      Last editedThursday, March 28th, 2024 1:57:34am (UTC)
      Date addedThursday, November 21st, 2019 8:43:45pm (UTC)
      Modules
      • egg-herbie/main.rkt