General questions about the CP solver

THIS IS WORK IN PROGRESS.

• What are the main variables types?
• What are the main constraints types?
• What is the difference between Solve() and NewSearch()?
• Could you explain the basic functionalities of the CP solver?
• What are the main public methods and what are their use?

What are the main variables types?

What are the main constraints types?

What is the difference between Solve() and NewSearch()?

Could you explain the basic functionalities of the CP solver?

What are the main public methods and what are their use?

How can I influence the traversal of the search tree?

How can I profile the search?

How can I debug the search?

How can I visualize the search?

How can I add my own constraint?

How can I serialize my model?

How can I serialize my solutions?

Why would I need to restart my search?

What are the implemented heuristics to find a global solution?

What are the search primitives I can customize?