Work on faster hint generation using minimal unsatisfiable subsets

Not ready for merge