This package contains constraint-checkers.