lib(sym_expr)

   Library for expressing the symmetries of a CSP

