SAT can be solved surprisingly quickly via superposed bools on Interaction Netshttps://gist.github.com/VictorTaelin/9061306220929f04e7e6980f23ade615 by LightMachine • 3 years ago 6 1 3 years agoGIgist.github.com