lib(ic_sbds)

   Symmetry Breaking During Search (SBDS)

