new linear constraint solver for layout