ahelwer FiniteModelChecker by: ahelwer .NET Standard 1.0 3,514 total downloads last updated 8/22/2018 Latest version: 1.0.1 z3 test testing A finite model checking framework for C# code