Search Package Index

1 packages found

	Package	Description	Build
-1711586672	egg-herbie meλef06fca oflattλ9187600 pavpanλa163d93	A Herbie component to simplify mathematical expressions using the egg egraph library This package needs documentation Tags: algebra data-structures equality simplify License: MIT	succeeds; has conflicts	4

Package

Description

Build

egg-herbie

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

This package needs documentation

Tags:

License: