almost done with UI, now fields with consistency checks, added solving method switch, added view for csp solution