Interfacing MCP with Combinatorial, Convex, and SMT Solvers (stephendiehl.com) 5 points by rwosync 1y ago ↗ HN
1 comment
[ 46.3 ms ] story [ 300 ms ] thread