usolver
源码A model context protocol server for solving combinatorial optimization problems with logical and numerical constraints.
A model context protocol server for solving combinatorial optimization problems with logical and numerical constraints.