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

Authors
Documentation
Tags
License
Last updatedFriday, February 2nd, 2024 11:09:54pm (UTC)
Ring2
Conflicts
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/uwplse/herbie/releases/download/v2.0.2/egg-herbie-macOS.zipebd0217c3bba02be5ddfe158f09bb29202eaf51e
Last checkedThursday, March 28th, 2024 12:32:37pm (UTC)
Last editedThursday, March 28th, 2024 1:58:44am (UTC)
Date addedThursday, November 21st, 2019 8:43:08pm (UTC)
Modules
  • egg-herbie/main.rkt