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:lab2 [2018/03/24 19:43] msl [Reified Constraints] |
en:dydaktyka:csp:lab2 [2018/03/24 19:44] msl |
||
|---|---|---|---|
| Line 58: | Line 58: | ||
| * You may use channeling constraint [[http://www.minizinc.org/doc-lib/doc-globals-channeling.html#Ifunction-array-bo-int-bc-of-var-int-cl-inverse-po-array-bo-int-bc-of-var-int-cl-f-pc|''inverse'']] | * You may use channeling constraint [[http://www.minizinc.org/doc-lib/doc-globals-channeling.html#Ifunction-array-bo-int-bc-of-var-int-cl-inverse-po-array-bo-int-bc-of-var-int-cl-f-pc|''inverse'']] | ||
| - Compare running time of the normal and channeled model | - Compare running time of the normal and channeled model | ||
| - | - Give yourself a high five, <wrap lo>however new solvers are good enough to solve n-queens without the channeling. This technique is still valid for the more complicated problems</wrap> | + | - Give yourself a [[https://youtu.be/kMUkzWO8viY|self-five]], <wrap lo>however new solvers are good enough to solve n-queens without the channeling. This technique is still valid for the more complicated problems</wrap> |
| ===== Reified Constraints ===== | ===== Reified Constraints ===== | ||
| Line 69: | Line 69: | ||
| - Download, extract, comprehend {{ :en:dydaktyka:csp:stable_marriage.zip |the model}} | - Download, extract, comprehend {{ :en:dydaktyka:csp:stable_marriage.zip |the model}} | ||
| - Add missing variables, constraints | - Add missing variables, constraints | ||
| - | - Give yourself a [[https://youtu.be/kMUkzWO8viY|self-five]] | + | - Give a high-five to your teacher :) |
