MiniCP: A lightweight Constraint Programming Solver

• Preface
  • What is MiniCP
  • Javadoc
  • Install MiniCP
  • Getting Help with MiniCP
  • Who Uses MiniCP?
  • Citing MiniCP
• 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