Grafiký uživatelské rozhraní pro řešič omezujících podmínek
Množinové operace jako průnik, sjednocení i projekce se můžou předkládat do omezujících podmínek s kterými můžou zacházet existující řešiče. Úkolem této práce je vývoj grafického uživatelského rozhraní pro zacházení s takovými operacemi, pro jejichž překlad do omezujících podmínek a pro jejichž řešení existujícím řešičem.