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