SMT

MCP Çözücü MCP Sunucusu

MCP Solver, AI asistanları ve LLM'ler için gelişmiş SAT, SMT ve kısıt optimizasyon yetenekleri sunan bir Model Context Protocol (MCP) sunucusudur. Karmaşık mate...