SAT can be solved surprisingly quickly via superposed bools on Interaction Netsgist.github.com6 points·LightMachine··1 commentOpen articleSaveView on HN