Live data from Hacker News

Interfacing MCP with Combinatorial, Convex, and SMT Solvers

stephendiehl.com

Post reply on HN

Print view View original

1–2 of 2 posts

Interfacing MCP with Combinatorial, Convex, and SMT Solvers

#1

Post by rwosync » Mon, Jun 02, 2025, 3:29 PM UTC

Interfacing MCP with Combinatorial, Convex, and SMT Solvers
stephendiehl.com

Re: Interfacing MCP with Combinatorial, Convex, and SMT Solvers

#2

Post by [deleted] » Mon, Jun 02, 2025, 4:19 PM UTC

[deleted]

Post reply on HN