lib(fd_sbds)

   Symmetry Breaking During Search (SBDS)

