Reporting Bugs

To help us track bugs and fixes, please open an issue on our GitHub repository.

GitHub is preferred, but you can also send an e-mail to yices-bugs@csl.sri.com.

Please, make sure you give enough information in your 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