egg-herbie

A Herbie component to simplify mathematical expressions using the egg egraph library

Build status: ok passing tests valid license

Authors
Documentation
Tags
License
Last updatedThursday, March 28th, 2024 12:44:32am (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/herbie-fp/egg-herbie.git76608424055c5664e6b11d0f8d55be4337b73964
Last checkedMonday, May 20th, 2024 6:04:35pm (UTC)
Last editedThursday, March 28th, 2024 1:56:54am (UTC)
Date addedTuesday, December 8th, 2020 8:51:53pm (UTC)
Modules