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