SAT

MCP 솔버 MCP 서버

MCP Solver는 AI 어시스턴트와 LLM을 위한 고급 SAT, SMT 및 제약 최적화 기능을 제공하는 모델 컨텍스트 프로토콜(MCP) 서버입니다. 복잡한 수학 모델을 상호작용적으로 생성, 수정, 해결할 수 있어 연구, 엔지니어링, 의사결정 워크플로우를 간소화합니다....