On Thu, 01 Jun 2017 23:31:25 +0200 Michał Górny <mgo...@gentoo.org> wrote: > My current code is on github [1]. It's ugly, slow and incomplete. It's > merely a proof-of-concept and testing toy but still could give some > clues. > > [1]:https://github.com/mgorny/required-use
Nice work by the way. I've not looked much at the code but I've tried it on a few examples and it worked well. Then I tried on the php example and it didn't finish within 30 mins so I stopped it. I think we should really try to find a sub-exponential solution to this, I doubt there's anything that can be done if the only solution is to enumerate all the possibilities.
