2 comments

[ 5.6 ms ] story [ 16.8 ms ] thread
People have been looking for one of these for decades. Guess Moore's Law (and SAT solvers) have finally caught up to this problem!