Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
en:dydaktyka:csp:lab1 [2018/03/11 20:09]
msl [Graph Coloring]
en:dydaktyka:csp:lab1 [2019/06/27 15:49] (current)
Line 94: Line 94:
   - they are implemented using very efficient algorithms, which may take advantage of the problem structure in a better way than the many separate normal constraints.   - they are implemented using very efficient algorithms, which may take advantage of the problem structure in a better way than the many separate normal constraints.
  
-In order to use a global constraint, first you've to find it in [[http://​www.minizinc.org/​doc-lib/​doc-globals.html | the global constraints'​ library]]. Then you've to import in in the model, e.g. in order to use ''​cumulative''​ constraint, you've to add the ''​include cumulative.mzn;''​ line to the model.  ​+In order to use a global constraint, first you've to find it in [[http://​www.minizinc.org/​doc-lib/​doc-globals.html | the global constraints'​ library]]. Then you've to import in in the model, e.g. in order to use ''​cumulative''​ constraint, you've to add the ''​include ​"cumulative.mzn";''​ line to the model.  ​
  
 ==== N-Queens + Global Constraints ==== ==== N-Queens + Global Constraints ====
en/dydaktyka/csp/lab1.txt · Last modified: 2019/06/27 15:49 (external edit)
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