Improve aggressive factor propagation strategy in Shardy. There are two main differences from `BasicFactorPropagation`.#28

Merged

copybara-service[bot] merged 1 commit intomainfrom test_655675663

Jul 30, 2024

Commits on Jul 30, 2024

Improve aggressive factor propagation strategy in Shardy. There are two main differences from BasicFactorPropagation.

ZixuanJiang
authored and
copybara-github
committed