[microcolonel]

I think it could be done with a constraint solver, with a lot fewer cycles.

[jacquesm]

This is the route we are looking at, with some twists.