This article is to show you how to go from a clean install of Visual Studio 2010 to running the Code Contract tools for the first time. Since the tools aren’t included in VS install, we thought we’d provide some extra information on where to find them...