Różnice między wybraną wersją a wersją aktualną.
| Both sides previous revision Poprzednia wersja Nowa wersja | Poprzednia wersja | ||
|
pl:dydaktyka:csp:intro [2016/02/22 22:05] msl [Kolorowanie grafu] |
pl:dydaktyka:csp:intro [2019/06/27 15:50] (aktualna) |
||
|---|---|---|---|
| Linia 23: | Linia 23: | ||
| == Do ściągnięcia: == | == Do ściągnięcia: == | ||
| + | <WRAP center round tip 60%> | ||
| + | Sala 316 ma już zainstalowane wszystkie potrzebne narzędzia. Jeżeli właśnie w niej siedzisz, możesz pominąć tę sekcję :) | ||
| + | </WRAP> | ||
| + | |||
| * [[http://www.minizinc.org/downloads/release-1.6/minizinc-1.6-x86_64-unknown-linux-gnu.tar.gz|MiniZinc (CSP solver) w wersji 1.6]] lub [[http://www.minizinc.org/downloads/release-2.0.1/minizinc-2.0.1-linux64.tar.gz|nowsza wersja]] | * [[http://www.minizinc.org/downloads/release-1.6/minizinc-1.6-x86_64-unknown-linux-gnu.tar.gz|MiniZinc (CSP solver) w wersji 1.6]] lub [[http://www.minizinc.org/downloads/release-2.0.1/minizinc-2.0.1-linux64.tar.gz|nowsza wersja]] | ||
| * [[http://www.minizinc.org/downloads/MiniZincIDE/MiniZincIDE-0.9.3-linux-x86_64.tgz|MiniZinc IDE w wersji 0.9.3]] lub [[http://www.minizinc.org/downloads/MiniZincIDE/MiniZincIDE-0.9.6-linux-x86_64.tgz|nowsza wersja]] | * [[http://www.minizinc.org/downloads/MiniZincIDE/MiniZincIDE-0.9.3-linux-x86_64.tgz|MiniZinc IDE w wersji 0.9.3]] lub [[http://www.minizinc.org/downloads/MiniZincIDE/MiniZincIDE-0.9.6-linux-x86_64.tgz|nowsza wersja]] | ||
| Linia 201: | Linia 205: | ||
| - | ===== Zadanie domowe ====== | ||
| - | Proszę zapoznać się pobieżnie z [[http://www.minizinc.org/downloads/doc-latest/minizinc-tute.pdf|tutorialem dla MiniZinc]]. | ||
