Skip to content

relax AsFractional Hint Mode

Ralf Jung requested to merge ralf/as-frac-mode into master

This weakens the Hint Mode for AsFractional such that when the goal is l_new ↦{#1 / 2 + ?evar} _, iSplitL works.

Edited by Ralf Jung

Merge request reports