MiniCP: A lightweight Constraint Programming Solver
- Preface
- Learn MiniCP
- Part 1: Overview of CP, Filtering, Search, Consistency, Fixpoint
- Part 2: Domains, Variables, Constraints
- Part 3: State Management (Trail + Copy) and Search
- Part 4: Sum and Element Constraints
- Part 5: Circuit Constraint, TSP, Optimization, LNS, and VRP
- Part 6: AllDifferent Constraint
- Part 7: Table Constraints
- Part 8: Search
- Part 9: Cumulative Scheduling
- Part 10: Disjunctive Scheduling
- Part 11: Modeling
- Outcomes
- MiniCP Article
- MiniCP XCSP3 Mini Solver
- About