Skip to content
Snippets Groups Projects

add simpl to solve_goal

Passed
Michael Sammler created pipeline for commit 7fad2510
, finished
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
2 jobs 16 minutes 26 seconds, queued for 1 seconds