Differences
This shows you the differences between two versions of the page.
Both sides previous revision
Previous revision
Next revision
|
Previous revision
|
en:dydaktyka:csp:lab1 [2018/03/11 20:09] msl [Graph Coloring] |
en:dydaktyka:csp:lab1 [2020/03/22 18:47] (current) msl [Constraint Programming: Basic Problems] |
In this laboratory we will solve some toy problems from the constraint programming literature. The created models will be later improved using some basic constraint programming techniques. | In this laboratory we will solve some toy problems from the constraint programming literature. The created models will be later improved using some basic constraint programming techniques. |
| |
| All files required to solve the assignments are available via [[https://gitlab.com/agh-krr/2019-2020/labs|the repository]], so clone it first and follow the Readme instructions. |
===== Warm Up ===== | ===== Warm Up ===== |
| |
- they are implemented using very efficient algorithms, which may take advantage of the problem structure in a better way than the many separate normal constraints. | - they are implemented using very efficient algorithms, which may take advantage of the problem structure in a better way than the many separate normal constraints. |
| |
In order to use a global constraint, first you've to find it in [[http://www.minizinc.org/doc-lib/doc-globals.html | the global constraints' library]]. Then you've to import in in the model, e.g. in order to use ''cumulative'' constraint, you've to add the ''include cumulative.mzn;'' line to the model. | In order to use a global constraint, first you've to find it in [[http://www.minizinc.org/doc-lib/doc-globals.html | the global constraints' library]]. Then you've to import in in the model, e.g. in order to use ''cumulative'' constraint, you've to add the ''include "cumulative.mzn";'' line to the model. |
| |
==== N-Queens + Global Constraints ==== | ==== N-Queens + Global Constraints ==== |