Package for the constraits checker of MSCs.