Stay organized with collections
Save and categorize content based on your preferences.
C++ Reference: class SymmetryBreaker
Note: This documentation is automatically generated.
A symmetry breaker is an object that will visit a decision and
create the 'symmetrical' decision in return.
Each symmetry breaker represents one class of symmetry.