lib(fd_prop_test_util)

   Tools for testing global constraints

