0b. Installation and Import #

Installation instructions for the Spectra Tutorial: http://smlab.cs.tau.ac.il/syntech/tutorial/

Tutorial projects on GitHub: https://github.com/jringert/spectra-tutorial

If the update site does not work, you can use the following alternative update site:

https://se-buw.github.io/gse/spectra/tools/update/

If you are using ARM-based machines, e.g., Apple Silicon, you might experience issues wtih CUDD support. In this case, you can use the following workaround:

• Go to Ecliplse -> Preferences/Settings -> Spectra
• Select JTLV as BDD engine and diable optimizations
• Apply and Close the dialog

Return to the Spectra Tutorial Overview