NautechSystems.DesignByContract (nuget): A library to support design by contract software correctness principles. Contract preconditions, postconditions and invariants - separately definable for release and/or debug builds.
Keywords: code|contracts|design|by|contract