---

2 Installation and Setup ¶

This section covers installing Symex and setting it up, and information about supported languages.

• Installing Symex
• Instructions for Other Package Managers
• Symex and Evil
• Symex and Rigpa
• Languages Supported
• Upgrading from Symex v1 to v2