SMT

MCP Solver MCP Server

MCP Solver is a Model Context Protocol (MCP) server offering advanced SAT, SMT, and constraint optimization capabilities for AI assistants and LLMs. It enables ...