This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
|
en:dydaktyka:csp:intro [2019/02/28 11:35] msl [Polishing rough edges] |
en:dydaktyka:csp:intro [2020/03/22 18:46] msl [Constraint Programming 101] |
||
|---|---|---|---|
| Line 7: | Line 7: | ||
| * [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 the repository, so clone it first. | ||
| ===== "Real Life" Example ===== | ===== "Real Life" Example ===== | ||
| Line 80: | Line 82: | ||
| The simplest way: ''MiniZincIDE -> Menu -> Minizinc -> Run''. | The simplest way: ''MiniZincIDE -> Menu -> Minizinc -> Run''. | ||
| - | To receive more than one solution, check the ''Show configuration'' button in the right top corner, check the ''User-defined behavior'' checkbox and select ''Print all solutions''. | + | To receive more than one solution, check the ''Show configuration editor'' button in the right top corner, check the ''User-defined behavior'' checkbox and select ''Print all solutions''. |
| X===== Tip 50% ===== | X===== Tip 50% ===== | ||
| Line 190: | Line 192: | ||
| set of <type>: SetName = start..end; | set of <type>: SetName = start..end; | ||
| </code> | </code> | ||
| - | - ''show configuration editor'' is a very tempting button in the right top corner of the MiniZincIDE. Play with the options: | + | - ''Show configuration editor'' is a very tempting button in the right top corner of the MiniZincIDE. Play with the options: |
| * Check verbose output of the solver. | * Check verbose output of the solver. | ||
| * Try using the ''Gecode-gist''solver. It should display a search tree. Do you understand what does it show? | * Try using the ''Gecode-gist''solver. It should display a search tree. Do you understand what does it show? | ||
| + | * Experiment :) | ||
