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