Synopsis example needs clpfd

We need to explicitly import the module to get operators used in the example.