Kooperácia constraint solverov

(Zadanie bakalárskej práce, naspäť na zoznam bakalárskych prác)

Kompilačno-implementačná práca

Cieľom je navrhnúť deklaratívny jazyk, ktorý by umožňoval spoluprácu konkurentných constraint solverov. Dôraz je na návrhu kooperačného jazyka a jeho prototypovej implemántacii.