Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
en:dydaktyka:csp:intro [2019/02/28 10:35]
msl [Polishing rough edges]
en:dydaktyka:csp:intro [2019/02/28 10:40] (current)
msl
Line 80: Line 80:
 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 190:
 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 :)
en/dydaktyka/csp/intro.txt · Last modified: 2019/02/28 10:40 by msl
www.chimeric.de Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0