A Herbie component to simplify mathematical expressions using the egg egraph library (Windows pre-build package)
Authors | |||||||
---|---|---|---|---|---|---|---|
Documentation | |||||||
Tags | |||||||
License | |||||||
Last updated | Saturday, March 30th, 2024 3:35:40am (UTC) | ||||||
Ring | 1 | ||||||
Conflicts | None | ||||||
Dependencies | |||||||
Most recent build results |
| ||||||
Version Exceptions |
| ||||||
Last checked | Friday, April 26th, 2024 2:04:27pm (UTC) | ||||||
Last edited | Thursday, March 28th, 2024 1:59:14am (UTC) | ||||||
Date added | Thursday, November 21st, 2019 8:41:44pm (UTC) | ||||||
Modules |
|