SCIP - Solving Constraint Integer Programs
- Updated
Oct 6, 2025 - C
SCIP - Solving Constraint Integer Programs
My unofficial picat http://picat-lang.org/ repository
N-Queens problem solvers and solution counters implemented using a constrained DFS algorithm
The clp(FD,S) system developed during my PhD at INRIA
Research on the capabilities of the STM32F429I-DISC1 board to perform Machine Learning tasks
Add a description, image, and links to the constraint-programming topic page so that developers can more easily learn about it.
To associate your repository with the constraint-programming topic, visit your repo's landing page and select "manage topics."