You can buy this project and download/modify it how often you want.
This package is reserved for "Design By Contract" (DbC).