I’m new for IDP-Z3, but I have 20+ years of experience in development.
I have found very good getting started guide (and have got the idea), the reference guide and source codes (which are also very important).
Now I would like to use IDP-Z3.