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