Mini-CP: A lightweight Constraint Programming Solver

• Preface
  • What is mini-cp
  • Java-Doc
  • Install mini-cp
  • Getting Help with mini-cp
  • Who uses mini-cp
  • Citing mini-cp
• Learn Mini-CP
  • Technical Report
  • Slides and teaching material
• Mini-CP XCSP3 Mini Solver
• Exercises
  • Learning Outcomes
  • Less or equal reified constraint
  • DFS Explicit Stack
  • Domain with an arbitrary set of values
  • Implement a domain iterator
  • Implement a Custom Search
  • Experiment and modify LNS
  • Element constraint
  • Circuit Constraint
  • Custom search strategy
  • LNS
  • Table Constraint
    • Example
    • Using bit sets
    • A basic implementation
  • Sequencer Combinator
  • Eternity Problem
  • Element constraint with array of variables
  • The stable mariage problem
  • The absolute value constraint
  • The maximum constraint
  • Compact table algorithm for table constraints with short tuples
  • Compact table algorithm for negative table constraints
  • Cumulative Constraint: Decomposition
  • Cumulative Constraint: Time-Table filtering
  • The Resource-Constrained Project Scheduling Problem (RCPSP)
  • The JobShop Problem and disjunctive resource
  • The logical or constraint and watched literals
  • The logical reified or constraint
  • Steel Mill Slab Problem: Modeling, redundant constraints and symmetry breaking
  • GAC filtering for the AllDifferent Constraint
  • Discrepancy Limited Search (optional)
  • Conflict based search strategy
  • Restarts (optional)
  • AllDifferent Forward Checking (optional)
• About