Interfacing MCP with Combinatorial, Convex, and SMT Solvershttps://www.stephendiehl.com/posts/smt_and_mcp_solvers/ by rwosync • 1 year ago 5 0 1 year agoSTstephendiehl.com