Nope, it's all constraint satisfaction based. Another person actually correctly inferred most of the details above: https://news.ycombinator.com/reply?id=365322

Nope, it's all constraint satisfaction based. Another person actually correctly inferred most of the details above: https://news.ycombinator.com/reply?id=36532254&goto=item%3Fid%3D36530096%2336532254 https://news.ycombinator.com/reply?id=36532254&goto=item%3Fi....