ToySolver.SAT.MUS
data
Options
findMUSAssumptions