A model context protocol server for solving combinatorial optimization problems with logical and numerical constraints. - View it on GitHub