lib(ic_gap_sbdd)

   GAP-based Symmetry Breaking via Dominance Detection (SBDD)

