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