This package contains tests for the constraint checker.