SAT

MCP Solver MCP Server

MCP Solver je server Model Context Protocol (MCP) nabízející pokročilé možnosti SAT, SMT a optimalizace s omezeními pro AI asistenty a LLM. Umožňuje interaktivn...