Hacker News new | ask | show | jobs
Interfacing MCP with Combinatorial, Convex, and SMT Solvers (stephendiehl.com)
5 points by rwosync 375 days ago