lib(ldsb)

   Lightweight dynamic symmetry breaking for finite domains.

