RT @dakami: http://z3.codeplex.com/ Microsoft's Z3 SMT Solver, now with source. Awesome!
11:26 PM - 24 Dec 2012
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.