SMT-LIB. Ruining viral puzzles since 2003. http://svn.clifford.at/handicraft/2017/smtcode/ …pic.twitter.com/tdMb8xz6gj
5:41 AM - 4 Aug 2017
0 replies
2 retweets
11 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.