lib(ic_prop_test_util)

   Tools for testing global constraints

