NContracts (nuget): Library representing the desing by contract programing such as precondition, postconditions, and object invariants
Keywords: DBC|DesignByContracts|Contracts|designbycontract|ncontracts