On Sun, 11 Jun 2017 18:05:18 +0200
Alexis Ballier <aball...@gentoo.org> wrote:
> I think this handles all the cases. I'll try to update the repo with
> that algo.
I've updated my fork. It'd be good to merge it and rebase solve() on
top of the output of to_impl.convert_to_implications if you're happy
with it.
$ time python3 classify.py requsel
Stats:
Parse error: 0
Good: 8334
Need topo sort: 152
Cyclic: 43
real 0m1.874s
user 0m1.869s
sys 0m0.005s
It works better, no more parse error, and only 43 problematic cases.
