Interfacing MCP with Combinatorial, Convex, and SMT Solversstephendiehl.com5 points·rwosync··0 commentsOpen articleSaveView on HN