commit | b4347a89f6d64d3e604f673501f7073228af2a63 | [log] [tgz] |
---|---|---|
author | Trevor Hansen <trev_abroad@yahoo.com> | Sun May 15 04:45:11 2022 |
committer | Trevor Hansen <trev_abroad@yahoo.com> | Sun May 15 04:45:11 2022 |
tree | ef1fcb55cb6b3273518e0c22df30dfbb18074b7f | |
parent | b8b18c90f4fe78ab09d5fdd2cf119bd74e13c18c [diff] |
Better counting of missing simplifications rules in propagate equalities.