SAT can be solved surprisingly quickly via superposed bools on Interaction Netsgist.github.com6 pointsLightMachine2 years ago