Navigation
index
next
|
MaxiCP User-Guide 1.0 documentation
»
MaxiCP: A Not So Mini Constraint Programming Solver
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
Table of Contents
MaxiCP: A Not So Mini Constraint Programming Solver
Indices and tables
Next topic
Preface
This Page
Show Source
Quick search
Navigation
index
next
|
MaxiCP User-Guide 1.0 documentation
»
MaxiCP: A Not So Mini Constraint Programming Solver
Fork me on GitHub