egg-herbie-linux
A Herbie component to simplify mathematical expressions using the egg egraph library (Linux pre-build package)
| Authors | |||||||
|---|---|---|---|---|---|---|---|
| Documentation | |||||||
| Tags | |||||||
| License | |||||||
| Last updated | Tuesday, June 17th, 2025 7:53:55pm (UTC) | ||||||
| Ring | 2 | ||||||
| Conflicts | |||||||
| Dependencies | |||||||
| Most recent build results |
| ||||||
| Version Exceptions |
| ||||||
| Last checked | Wednesday, June 18th, 2025 11:53:13am (UTC) | ||||||
| Last edited | Thursday, July 18th, 2024 10:03:53pm (UTC) | ||||||
| Date added | Thursday, November 21st, 2019 8:43:45pm (UTC) | ||||||
| Modules |
|
