sdiehl/usolver

A model context protocol server for solving combinatorial o…