G gist.github.com SAT can be solved surprisingly quickly via superposed bools on Interaction Nets 6 points LightMachine 2 years ago 1 comments
