ahelwer FiniteModelChecker by: ahelwer .NET Standard 1.0 This package targets .NET Standard 1.0. The package is compatible with this framework or higher. 3,796 total downloads last updated 8/22/2018 Latest version: 1.0.1 z3 test testing A finite model checking framework for C# code