Package for constraint checkers of the kernel.