This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
en:dydaktyka:csp:intro [2020/03/22 18:46] msl [Constraint Programming 101] |
en:dydaktyka:csp:intro [2020/10/06 21:33] (current) ligeza [Solving the Progblem] |
||
|---|---|---|---|
| Line 8: | Line 8: | ||
| * [optional] define the search procedure which will be used to find the solution. | * [optional] define the search procedure which will be used to find the solution. | ||
| - | All files required to solve the assignments are available via the repository, so clone it first. | + | 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. |
| ===== "Real Life" Example ===== | ===== "Real Life" Example ===== | ||
| Line 23: | Line 23: | ||
| - Run MiniZinc IDE | - Run MiniZinc IDE | ||
| - | ===== Solving the Progblem ===== | + | ===== Solving the Problem ===== |
| Modelling problem in MiniZinc consists of four steps: | Modelling problem in MiniZinc consists of four steps: | ||
