lukeprog comments on What would you do with a solution to 3-SAT?

[lukeprog]

This is a most excellent update. I look forward to hearing what comes out of this thinking.