3 ms·
I count backtracking as mechanical; but I was also using it in a perhaps overly-broad sense, which includes that solver.
by philh 11y ago
I count backtracking as mechanical; but I was also using it in a perhaps overly-broad sense, which includes that solver.