LINQ Support missing

Mar 22, 2013 at 9: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 9: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?