This is the commit used for the AAAI-26 paper titled "Faster Certified Symmetry Breaking Using Orders With Auxiliary Variables".
This is the commit used for the AAAI-26 paper titled "Faster Certified Symmetry Breaking Using Orders With Auxiliary Variables".