It is possible to skip tails while some are already present. The wiki had the old name when this was added to the solver, but it has since been corrected.
It is possible to skip tails while some are already present. The wiki had the old name when this was added to the solver, but it has since been corrected.