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.