Sketching beginnings of constraint relaxation api.