Repository containing code for "Exploiting Symmetries in MUS Computation" - View it on GitHub