I can only make a wild guess, but when I hear of constraints I immediately think about linear programming, so I suppose they used some general purpose tool like

I can only make a wild guess, but when I hear of constraints I immediately think about linear programming, so I suppose they used some general purpose tool like GLPK (GNU Linear Programming Kit) or a commercial equivalent.