Wprowadzenie do programowania z ograniczeniami. Wprowadzenie do systemu MiniZinc. [6.10.2020;pages 1-28; ali]
MiniZinc Intro
Wprowadzenie do systemu MiniZinc. Elementarne przykłady logiczne (SAT,Logical Consequence) i arytmetyczne (Money-Change; SEND+MORE=MONEY). [13.10.2020; pages 28-34; ali]
Przykłady z wykładu 13.10.2020
Wprowadzenie do MiniZinc. Constraint Satisfaction and Optimization Problems. Selected more advanced language constructions. [20.10.2020; ali]
Przykłady z wykładu 20.10.2020
Wprowadzenie do MiniZinc - dokończenie. Constraint Satisfaction and Optimization Problems. Selected more advanced language constructions. [27.10.2020; ali]
Przykłady z wykładu 27-10-2020]
MiniZinc - dokończenie; wybrane przykłady zastosowania. TSP+Path. Wprowadzenie do teorii CP. [3.11.2020; ali]
-
-
Wybrane linki i materiały:
Tools:
Laboratoria:
Repozytorium z materiałami do laboratoriów jest dostępne na gitlabie.
Użyteczne linki również na stronie:
Knowledge Representation and Reasoning