Требования для работы с проектом.
Для компиляции требуется:
- Visual studio 2015 update 3 версия не ниже Community (такие как Professional, Enterprise) с языком C#.
- Code contracts for .net доступна по ссылке https://marketplace.visualstudio.com/items?itemName=RiSEResearchinSoftwareEngineering.CodeContractsforNET
Для разработки основной язык C# и фреймворк dot net 4.6.1.