Graphical user interface for a constraint solver

Set operations such union, intersection, and projection can be translated to constraints that can be handled by existing constraint solvers. In this thesis the student will develop a graphical user interface for handling such set operations, translating them to constraints, and solving those by a constraint solver.