static symmetry breaking for SAT - View it on GitHub