Skip to content

GitLab

add simpl to solve_goal

2 jobs for time/reduceZ in 16 minutes and 26 seconds (queued for 1 second)
7fad2510
1 related merge request: !67 Reduce shifts on Z in solve goal, unfold aligned_to and Z.divide in solve_goal and simpl in solve_goal