This project is read-only.

LINQ Support missing

Mar 22, 2013 at 10:42 PM
Bart De Smet wrote a LINQ to Z3 Adapter back in 2010. While LINQ is a very handy and more easily understandable notation for solving logic problems, the Interface of Z3 seems to have changed, so that the code is not working anymore. I suggest writing new Monads, so that LINQ can be used to access Z3, and maintain the library here.
Mar 22, 2013 at 10:51 PM
This is a great suggestion!
Note that we are taking external contributions.
The new Z3 .Net API is much easier to use.
Are you interested in implementing the support for LINQ to Z3?

May 9, 2015 at 6:51 PM
For completeness:
See - it supports Z3 4.4.0