simple GUI

- very simple GUI based on tkinter
- report error for contradictary constraints (no never-losing ones)