Solve SMT Problems with Z3

added by KodefuGuru
1/11/2010 8:08:50 PM

0 Kicks, 81 Views

Microsoft Research has released Z3 2.4. Z3 is a Satisfiability Modulo Theories problem solver. This is the first time I’ve downloaded Z3 and the first time I’ve researched SMT problems, so I’m unfamiliar with them at this point. Being a little curious as to what implications this could have for the .NET framework, I opened up the dotnet example.