Contact Us

If you have general questions or suggestions about Yices, you can contact us at yices-sri@csl.sri.com.

If you want to discuss licensing terms, send an e-mail to fm-licensing@csl.sri.com.

Report a Bug

To report a bug, open an issue on our GitHub repository or send an e-mail to yices-bugs@csl.sri.com.

Please, make sure you give enough information in your bug report to enable us to reproduce and fix the problem:

• Tell us which version of Yices you're using (including which operating system)
• Try to send us an example input that causes the problem

Mailing Lists

• yices@csl.sri.com

  This list is intended for general discussions of interest to the Yices community (e.g., new tools, language changes, and conference announcements).

• yices-announce@csl.sri.com

  This list is used for announcing new versions of Yices.

• yices-help@csl.sri.com

  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:

• http://mls.csl.sri.com/mailman/listinfo/yices for the general Yices mailing list
• http://mls.csl.sri.com/mailman/listinfo/yices-announce for announces about Yices
• http://mls.csl.sri.com/mailman/listinfo/yices-help for the help mailing list.

You can also use these web interfaces to read the archives and manage your subscription.