If you have general questions or suggestions about Yices, you can contact us at firstname.lastname@example.org.
If you want to discuss licensing terms, send an e-mail to email@example.com.
To report a bug, send an e-mail to firstname.lastname@example.org.
Please, make sure you give enough information in your bug report to enable us to reproduce and fix the problem:
This list is intended for general discussions of interest to the Yices community (e.g., new tools, language changes, and conference announcements).
This list is used for announcing new versions of Yices.
Send an e-mail to this mailing list if you need help with installing or using Yices
All three mailing lists are moderated but you do not have to subscribe to send a message.
If you're interested in receiving messages posted on these mailing lists, you can subscribe to them using the web interfaces:
You can also use these web interfaces to read the archives and manage your subscription.