3 ms·
Oh, that's interesting, thanks for the correction! Now I have some reading material for when I'm bored. I'm curious how they handle it without a SAT solver.
by everforward 3y ago
Oh, that's interesting, thanks for the correction!
Now I have some reading material for when I'm bored. I'm curious how they handle it without a SAT solver.