Lauching the resolution process
How to look for solutions?
Solving
What does your user need to know to solve a problem?
Up to here, we have seen how to model a problem with the Model object. To solve it, we need to use
the Solver object that is obtained from the model as follows:
Solver solver = model.getSolver();
The Solver is in charge of alternating constraint-propagation with search, and possibly learning,
in order to compute solutions. This object may be configured in various ways.
Dealing with solutions
How to deal with Solution?
Search Strategies
How to define search strategies?
Limits
How to limit exploration?
Large Neighborhood Search
Using LNS
Restarts
How to define restart policy?
Multi-thread resolution
How to use several threads to solve a problem?
Last modified March 16, 2020: Update solving part (9d077c6)