conda/conda — pull request #910 by asmeurer (2014-09-11 21:13:28+00:00)
Title: Work on faster hint generation using minimal unsatisfiable subsets

Not ready for merge