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:34] msl [Running Code] |
en:dydaktyka:csp:intro [2019/02/28 11:35] msl [Polishing rough edges] |
||
|---|---|---|---|
| Line 191: | Line 191: | ||
| </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: | ||
| - | * Force solver to print only a single solution instead of all. | ||
| * 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? | ||
