B# .NET Technical Community Homepage

Bart De Smet's online technical community
Welcome to B# .NET Technical Community Homepage Sign in | Join | Help
in Search

Browse by Tags

All Tags » Z3 (RSS)
  • 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 Weblog by bart on 27 Sep 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 Weblog by bart on 19 Apr 2009
  • 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: theorem provers . A little story first. I guess it should...
    Posted to Weblog by bart on 15 Apr 2009
Page 1 of 1 (3 items)
Powered by Community Server (Non-Commercial Edition), by Telligent Systems