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