Replying to @chrisamaphone
The SMT solver ran 15 hours without returning sat or unsat and I lost interest so I #shutdowntheAI
4:12 PM - 31 Jul 2017
0 replies
4 retweets
30 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.