Z3 forum is intended for general discussions involving Z3, as well as announcements of new tools, language changes, etc.
The Z3 website is located at: http://research.microsoft.com/projects/z3/
Hey there... just wondering if this is still active? I had a few z3-related questions...
Yes, and your questions are...?
Yes it is active :). It might be a moment for the Z3 gurus to reply to the harder questions (I'm a Z3 beginner myself), but go ahead and post your questions.