Sign In

Subscribe

linq-to-z3

Posted By: aL_ | Apr 20th @ 2:09 AM

aL_
Rx ftw

check this out.. thats pretty cool Smiley

http://community.bartdesmet.net/blogs/bart/archive/2009/04/19/linq-to-z3-theorem-solving-on-steroids-part-0.aspx

charels, i think you should pay bart another visit Smiley

What you are watching
- VB 2010
- Extension Manager (CZ)
Active Forum Threads
- cpu sharing on windows 7
  
  Forum: The Coffeehouse
  
  Posted By: indiegamedev
  
  Nov 27th @ 10:57 PM
  
  Comments: 1
- anyone having an Envy 13?
  
  Forum: The Coffeehouse
  
  Posted By: Ion Todirel
  
  Nov 27th @ 9:46 PM
  
  Comments: 1
- C9 Guy
  
  Forum: Site Feedback
  
  Posted By: JoshRoss
  
  Nov 27th @ 9:10 PM
  
  Comments: 0

Channel 9: C9 Conversations: Brian Beckman on Complexity [C9 Conversations: Brian Beckman on Complexity]
Channel 10: Black Friday Deals on Windows 7 Machines
Channel 10: Holiday Shopping on Bing Cashback = Big Online Savings
Channel 10: Black Friday Deals at the Microsoft Store
Channel 10: Incredible Black Friday Deal: Windows 7 Notebook for $197
ASP.NET: Presenting in Europe Next Week
TechNet Edge: AlignIT IT Manager Podcast #30 - Straight Talk about Windows 7
WindowsClient: You know your post rate has gone down...
Silverlight: Geek Profiles – Scott Guthrie
Channel 9: C9 Lectures: Dr. Erik Meijer - Functional Programming Fundamentals Chapter 9 of 13
TechNet Edge: Managing Your Virtual World - Tech Focus November 2009 Part 2
ASP.NET: Silverlight and RIA Services: Implementing Search
Channel 9: C9 Lectures: Brian Beckman - Covariance and Contravariance in Physics 1 of 1
Channel 9: Set Your Data Free
Channel 9: Implementing a Silverlight SharePoint WebPart with Visual Studio 2010
WindowsClient: New WPF Showcase Addition: Enterprise
Channel 9: Reactive Extensions API in depth: Contract
WindowsClient: Concluding "New WPF Features" Series
WindowsClient: Introduction to TestApi – Part 5: Managed Code Fault Injection APIs
ASP.NET: T4MVC now has a real home and a dedicated forum!
close

Microsoft Communities