Contact

• Z3 Questions: Ask questions about Z3 at stackoverflow.com. They just need to be tagged with the 'z3' tag.
• z3bugs@microsoft.com: Bug report list (you can also send suggestions here).