SAT

MCP Solver MCP Server

MCP Solver är en Model Context Protocol (MCP) server som erbjuder avancerade SAT-, SMT- och optimeringsmöjligheter för AI-assistenter och LLM:er. Den möjliggör ...