Symmetry Breaking Predicates for SAT-based DFA Identification

Re-assign community