[wedocharlie]

Hmmm... Some co-founders and I are building a UK startup that needs to do skills-based task routing and optimize job assignment for workers who will drive to remote jobs.

Would love to have a quick chat with you or someone at timefold.ai to see if this is something we could potentially use.

[JonChesterfield]

A lot of the research on constraint solvers is to solve that problem. CSP is more approachable than boolean SAT or SMT but it's all the same sort of thing - feed it a lot of constraints and some notion of when a solution is better than another one and then leave it running for a while.