A modern, open-source Python framework for declarative constraint programming and combinatorial optimization.
-
Updated
Jan 10, 2026 - Python
A modern, open-source Python framework for declarative constraint programming and combinatorial optimization.
Project for the "Constraint Logic Programming" Curricular Unit (FEUP) - Factory Line Scheduling
Repository of the paper "Learning When to Use Automatic Tabulation in Constraint Model Reformulation"
N-Queens algorithm visualizer with backtracking, state-space pruning, and hill climbing. | N皇后算法可视化:回溯、状态空间剪枝与爬山算法对比。
A final year project on a university management system.
An algorithm-driven automated seating allocation system that generates optimized examination seat matrices while satisfying institutional constraints, classroom capacities, and student distribution requirements.
To associate your repository with the constraint-satisfaction-and-optimization topic, visit your repo's landing page and select "manage topics."