Solver MCP сервер
Model Context Protocol сервер, который предоставляет языковым моделям возможности решения ограничений, SAT, SMT и ASP задач, позволяя AI моделям интерактивно создавать, редактировать и решать модели ограничений в MiniZinc, PySAT, Z3 и Clingo.