Jacck
Model Context Protocol (MCP) server implementation using Google OR-Tools for constraint solving
MCP-Reasoner
