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