r33drichards

minizinc-mcp

通过 MiniZinc 模型求解约束满足与优化问题，快速获得可行方案和最优结果。