lib(gfd_sbds)

   Symmetry Breaking During Search (SBDS)

