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