This is a library for constraint relaxation.