Navigation

  • index
  • next |
  • MiniCP User-Guide documentation »

Logo

Next topic

Preface

This Page

  • Show Source

Quick search

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

Navigation

  • index
  • next |
  • MiniCP User-Guide documentation »
© Copyright 2021, Laurent Michel, Pierre Schaus, Pascal Van Hentenryck. Created using Sphinx 1.8.6.