SMT

MCP Solver MCP Server

MCP Solver is een Model Context Protocol (MCP) server die geavanceerde SAT-, SMT- en constraint-optimalisatie biedt voor AI-assistenten en LLM's. Het maakt inte...