Differences
This shows you the differences between two versions of the page.
Both sides previous revision
Previous revision
Next revision
|
Previous revision
|
en:dydaktyka:csp:lab3 [2020/03/19 13:04] msl Fixes some misspellings. |
en:dydaktyka:csp:lab3 [2020/11/30 12:50] (current) msl [N-Queens Again] |
Next we will solve a new issue, where search modeling will have a big impact on the solving process. | Next we will solve a new issue, where search modeling will have a big impact on the solving process. |
| |
| All files required to solve the assignments are available via the repository, so clone it first. |
===== Search Modeling ===== | ===== Search Modeling ===== |
| |
int_search(rows, first_fail, indomain_min, complete); | int_search(rows, first_fail, indomain_min, complete); |
int_search(rows, first_fail, indomain_median, complete);</code> | int_search(rows, first_fail, indomain_median, complete);</code> |
- Read about the [[https://www.minizinc.org/doc-2.2.0/en/lib-annotations.html?highlight=annotation#search-annotations|different strategies]]. Select one according to your taste. | - Read about the [[https://www.minizinc.org/doc-2.5.2/en/fzn-spec.html#annotations|different strategies]]. Select one according to your taste. |
- Compare solving time of the problem using different stragies. | - Compare solving time of the problem using different strategies (try at least three different problem sizes, you may just fill csv file in the repository). |
- Don't worry, be happy. | - Don't worry, be happy. |
| |