miniContract (nuget): No fuss, KISS contract library for .NET.
Keywords: contract|model|precondition