Open hferee opened 3 weeks ago
In order to lower the computation time (and output size), one should keep applying the E/A_rules corresponding to invertible rules until none are applicable, then apply one invertible one, then repeat.
In order to lower the computation time (and output size), one should keep applying the E/A_rules corresponding to invertible rules until none are applicable, then apply one invertible one, then repeat.