Mini-CP: A lightweight Constraint Programming Solver

• Preface
  • What is Mini-CP
  • Javadoc
  • Install Mini-CP
  • Getting Help with Mini-CP
  • Who uses Mini-CP
  • Citing Mini-CP
• Learn Mini-CP
  • Part 1: Overview of CP, Filtering, Search, Consistency, Fix-point
  • Part 2: Domains, Variables, Constraints
  • Part 3: Memory Management (Trail + Copy) and Search
  • Part 4: Sum and Element Constraints
  • Part 5: Circuit Constraint, TSP and LNS
  • Part 6: AllDifferent Constraint
  • Part 7: Table Constraints
  • Part 8: Search
  • Part 9: Cumulative Scheduling
  • Part 10: Disjunctive Scheduling
  • Unclassified Exercises
  • Outcomes
  • Technical Report
  • Other slides and teaching materials
  • Mini-CP XCSP3 Mini Solver
• About