egg-herbie-windows

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

Build status: ok failing tests missing license metadata

Authors
Documentation
Tags
License
Last updatedSaturday, March 30th, 2024 3:35:40am (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/uwplse/herbie/releases/download/v2.0.2/egg-herbie-windows.zipbbf0f6cdc817eddfab62d4f7da35ffd549b27c8c
Last checkedSunday, April 14th, 2024 12:32:38am (UTC)
Last editedThursday, March 28th, 2024 1:59:14am (UTC)
Date addedThursday, November 21st, 2019 8:41:44pm (UTC)
Modules
  • egg-herbie/main.rkt