Skip to content

Instantly share code, notes, and snippets.

@PoignardAzur

PoignardAzur/egraph_weakness.md

Created September 15, 2022 16:22
Show Gist options
  • Save PoignardAzur/279a6aa33abafa2db95b1e1da17970c0 to your computer and use it in GitHub Desktop.
Save PoignardAzur/279a6aa33abafa2db95b1e1da17970c0 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
egraph_weakness.md

Example:

a * b * c * d * e * f * g * h * i * j * 0

With rules:

- a * b <=> b * a
- (a * b) * c <=> a * (b * c)
- a * 0 <=> 0
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment