Differences
This shows you the differences between two versions of the page.
Both sides previous 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 [2019/02/28 11:40] msl |
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% ===== |
| |
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 :) |