RT @geeknik: Z3: A high-performance theorem prover from Microsoft Research http://buff.ly/17Evr6q
4:02 PM - 16 Sep 2013
0 replies
0 retweets
2 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.