The preprocessor Sbass detects and breaks symmetries in the search space of ASP instances by adding symmetry-breaking constraints.

Download Article