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

Authors
Documentation
Tags
License
Last updatedFriday, July 19th, 2024 7:58:19pm (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 checkedMonday, December 2nd, 2024 4:45:31pm (UTC)
Last editedThursday, July 18th, 2024 10:03:53pm (UTC)
Date addedThursday, November 21st, 2019 8:43:45pm (UTC)
Modules
  • egg-herbie/main.rkt