SAT

MCP Solver MCP Server

MCP Solver er en Model Context Protocol (MCP) server, der tilbyder avancerede SAT-, SMT- og constraint-optimeringsfunktioner til AI-assistenter og LLM'er. Den m...