Skip to content

Greedy simplification utilities

Sankalp Gambhir requested to merge github/fork/sankalpgambhir/subst-improve-1 into main

Adding utilities to do a one step greedy substitution from a list. Added a Simplify.exhaustive(also aliased as apply) to run greedy substitution while possible.

May add matching to this system to make it more flexible in a later PR.

Merge request reports