SAT

Servidor MCP Solver MCP

MCP Solver es un servidor Model Context Protocol (MCP) que ofrece capacidades avanzadas de SAT, SMT y optimización por restricciones para asistentes de IA y LLM...