Gurddy
Offers a robust HTTP API server for efficiently solving Constraint Satisfaction Problems (CSP) and Linear Programming (LP) optimization tasks.
소개
Gurddy is a powerful server that implements the Model Context Protocol (MCP), offering solutions for a wide range of Constraint Satisfaction Problems (CSP) and Linear Programming (LP) challenges. Built on the `gurddy` package, it provides a versatile platform for tackling classic computational problems such as N-Queens, Graph Coloring, Sudoku, and various optimization scenarios like production planning. Its core functionality is exposed through a RESTful HTTP API, allowing easy integration and online problem-solving with JSON-based requests and responses, making complex analytical tasks accessible to applications.
주요 기능
- Comprehensive CSP Problem Solving (N-Queens, Graph Coloring, Sudoku, General CSP)
- Robust LP/Optimization Problem Solving (Linear, Integer, Production Planning)
- RESTful HTTP API for online problem resolution with JSON support
- Fast solution times and memory-efficient backtracking search
- Extensible architecture for adding new problems and custom constraints
- 0 GitHub stars
사용 사례
- Solving classic logical challenges like N-Queens and Sudoku puzzles
- Optimizing resource allocation and production planning in business scenarios
- Automating complex scheduling problems and graph coloring tasks
