Recent Posts
B# .NET De Smet
Return To Blog Listing
Blog about all you didn't want to know about .NET, C#, Visual Studio, CLR, ASP.NET, Windows PowerShell, programming language evolution and so much more.
Recent Posts Tagged With 'z3'
LINQ to Z3 – Theorem Solving on Steroids – Part 1
Introduction It’s way too long ago I wrote about this side-project of mine, as I got side-tracked by other stuff both inside and outside the realm of LINQ (more about that some other time around). Last time, I showed how to put “the query patter...
LINQ to Z3 – Theorem Solving on Steroids – Part 1
Introduction It’s way too long ago I wrote about this side-project of mine, as I got side-tracked by other stuff both inside and outside the realm of LINQ (more about that some other time around). Last time, I showed how to put “the query patter...
LINQ to Z3 – Theorem Solving on Steroids – Part 0
Introduction Last time around in this blog category we looked at using Z3 for testing satisfiability of simple Boolean logic expressions. Obviously Z3 is capable of doing much more, so this time we’ll reach out to the domain of integer value arith...
Exploring the Z3 Theorem Prover (with a bit of LINQ)
Introduction Today I’m going to deviate from the typical path of mainstream technologies I normally cover and enter the domain of research instead. But very interesting and active research, with lots of practical implementations it turns out: theor...
