Skip to content
GitLab

Factor out solve_proper_prepare

Merged Ralf Jung requested to merge ralf/solve_proper into master

This helps when debugging solve_proper_core failures.

Merge request reports