SAT

MCP Solver MCP-server

MCP Solver er en Model Context Protocol (MCP) server som tilbyr avanserte SAT-, SMT- og optimaliseringsmuligheter for AI-assistenter og LLM-er. Den muliggjør in...