in

B# .NET Technical Community Homepage

Bart De Smet's online technical community

Browse by Tags

  • 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 pattern” to our hand by providing an implementation for the Where...
    Posted to B# .NET Blog (Weblog) by bart on 09-27-2009
  • 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 arithmetic. Not only that, last time I subtly hinted how this...
    Posted to B# .NET Blog (Weblog) by bart on 04-19-2009
Page 1 of 1 (2 items)
Powered by Community Server (Non-Commercial Edition), by Telligent Systems