MaxiCP: A Not So Mini Constraint Programming Solver

Contents

• Preface
  • What is MaxiCP?
  • Javadoc
  • Tech Report
  • Install MaxiCP
  • Getting Help
  • Who Uses MaxiCP?
• Getting Started
  • The CP Paradigm in One Sentence
  • Two APIs at a Glance
  • The N-Queens Problem
  • Step-by-Step: Raw API
  • Step-by-Step: Modeling (Symbolic) API
  • Side-by-Side Comparison
  • Using the Built-In First-Fail Heuristic
  • Stopping Early and Limiting the Search
  • Optimisation
  • What Comes Next
• Architecture Overview
  • Two Levels of Modeling: Raw and Symbolic
  • Same Architecture as MiniCP
• State Management
  • The StateManager Interface
  • Usage Example
  • Reversible Data Structures
• Propagation Engine
  • Priority-Based Scheduling
  • Event-Driven Constraint Activation
  • Posting Constraints
  • Implementing a Custom Constraint
  • Delta-Based Incremental Propagation
  • Global Constraints
• Search
  • Depth-First Search with Closures
  • Built-In Heuristics: Variable and Value Selectors
  • Advanced Value Selection
  • Conflict-Aware Heuristics
  • Scheduling and Sequencing Heuristics
  • Combinators
  • Branch-and-Bound Optimization
  • Large Neighborhood Search (LNS)
  • Variable Objective LNS (VOLNS)
• Scheduling with Conditional Intervals
  • Conditional Time-Interval Variables
  • Creating Interval Variables
  • Job-Shop Scheduling
  • Cumulative Function Expressions
  • RCPSP (Resource-Constrained Project Scheduling)
  • Producer-Consumer Scheduling
• Sequence Variables for Routing
  • Domain of a Sequence Variable
  • Domain Operations
  • Querying the Domain
  • Global Constraints for Sequence Variables
  • Modeling the TSPTW with a Sequence Variable
  • Custom Insertion-Based Search
  • Multi-Vehicle Routing (CVRPTW)
  • LNS with Sequence Variables
• Symbolic Modeling (MaxiCP-Modelling)
  • Models as Functional Linked Lists
  • The ModelDispatcher
  • Concretization
  • Model Transformations
  • Embarrassingly Parallel Search (EPS)
  • Portfolio Parallel Search
  • Mixing Both Layers
• List of Example Models
  • Raw API examples
  • Modeling API examples
• References

Indices and tables

• Index

• Search Page