De l'user guide:
À partir de la v4 CLR, la classe contrat et types connexes résident dans mscorlib.dll. Avant CLR v4, ces types apparaissent dans un assembly distinct appelé Microsoft .Contracts. dll que est installé sous % PROGRAMFILES%/Microsoft/Contracts/PublicAssemblies. Vous pouvez avoir besoin d'ajouter une référence à cet assembly si vous compilez par rapport à un CLR antérieur à 4,0.
Vous pouvez avoir des questions intéressantes si vous souhaitez utiliser le même ensemble construit à la fois contre 3,5 et 4.0 (je ne sais pas - il peut juste travailler) mais si vous utilisez juste 3.5, que ça devrait aller.
L'extension s'installe dans VS2008 ainsi que VS2010, je crois.
Avez-vous essayé d'utiliser [Microsoft] (http://msdn.microsoft.com/en-us/devlabs/dd491992.aspx)? Cela fonctionne en réécrivant le MSIL, donc ce n'est pas vraiment une "bibliothèque", et je pense que ça marcherait très bien sur 3.5. –
Lorsque j'ajoute "using System.Diagnostics.Contracts;" Cela dit, les contrats ne sont pas là. MSDN dit qu'il est dans mscorlib.dll. Je serais surpris si je peux référencer la version 4.0 d'un projet ciblant 3.5. – MatthewMartin
Essayez de référencer la DLL Microsoft.Contracts. C'est là que les classes 3.5 étaient, de toute façon. –