[r-t] Exhausted search spaces

[Graham John]

Ian wrote:

> There are lots of possible ways to go parallel, 
> what did you use to break it up?

You create a processor pool. If there is a processor free, you assign it to
your current branch and backtrack your current process on to its next
branch. If a processor exhausts a branch or backtracks to its starting point
you return it to the pool.

Graham