Hi,

I realized that there is no include folder in the source code tree but it does exists in the Release file.

Shouldn't a include directory with the .h be created to easy things to developers that uses z3 in their projects and compile it from the source?

Thank you