Digit and partial solver impl