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:intro [2019/02/28 11:40] msl |
en:dydaktyka:csp:intro [2020/10/06 21:33] (current) ligeza [Solving the Progblem] |
* [optional] define optimality criteria, e.g. cost function, which has to be minimized; | * [optional] define optimality criteria, e.g. cost function, which has to be minimized; |
* [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 [[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 ===== |
- 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: |