Skip to content

Factor out solve_proper_prepare

Ralf Jungrequested to merge
ralf/solve_proper into master

This helps when debugging solve_proper_core failures.

Merge request reports