Looking to contact us?

IDP-Z3 is an open-source project maintained and developed by a passionate team at the KU Leuven University. We are always happy to hear from you. You can contact us in multiple ways:

• Matrix chat
• Email
• Gitlab issues

(We are also always actively looking for collaborations with industry – feel free to reach out to us if you have an interesting idea!)