Frequently Asked Question

Check our FAQ to see if your problem is a known issue.

Getting Help

If you have questions about Yices installation or usage, please send a message to yices-help@csl.sri.com to request help from a community of Yices volunteers.

This list is moderated but you do not need to subscribe to post to it.

Volunteer to Help Others

You can subscribe to the yices-help mailing list by sending a message with 'subscribe' in the body to yices-help-request@csl.sri.com, or by using the web interface.