Skip to content

Reduce shifts on Z in solve goal, unfold aligned_to and Z.divide in solve_goal and simpl in solve_goal

Michael Sammler requested to merge time/reduceZ into master

Merge request reports