Skip to content

Factor out solve_proper_prepare

Ralf Jung requested to merge ralf/solve_proper into master

This helps when debugging solve_proper_core failures.

Merge request reports