Skip to content

simpler definition of simplify_goal

Michael Sammler requested to merge time/simpler_simplify_goal into master

Merge request reports