S
MCP Solver
By szeider·Visit Source
SAT, SMT 및 제약 조건 해결을 위한 LLM 통합 MCP 서버
2025년 1월 28일
1 month ago
68 Clicks
이 MCP는 무엇인가
이 MCP(Model Context Protocol) 서버는 SAT, SMT 및 제약 조건 해결 기능을 대규모 언어 모델(LLM)과 통합하여 AI 모델이 표준화된 인터페이스를 통해 복잡한 제약 문제를 생성, 편집 및 해결할 수 있도록 합니다.
이 MCP 사용 방법
MCP 솔버는 서로 다른 백엔드(MiniZinc, PySAT, Z3)로 세 가지 모드로 작동합니다. 사용자는 add_item, delete_item, replace_item, get_model, solve_model 등의 명령을 통해 프로그램 방식으로 제약 모델을 구축하고 해결할 수 있습니다.
이 MCP의 활용 분야
이 MCP는 N-퀸즈와 같은 논리 퍼즐, 외판원 문제와 같은 최적화 문제, 그리고 SAT/SMT 솔버 또는 제약 프로그래밍이 필요한 복잡한 실제 시나리오를 포함한 다양한 제약 만족 문제 해결에 사용될 수 있습니다.
Repository Info
Stars:
58
Forks:
5
Watchers:
58
Last Updated: 1 month ago
