Exo Language: Installation, Development, and Testing Guide

Exo is a programming language supporting Python 3.9 and above. Installation is straightforward using pip. Exo files execute directly with Python, and C/header files are generated via the exocc command. Development involves setting up a virtual environment and installing dependencies, including PySMT and CMake. Testing requires z3-solver (or another solver) and CMake 3.21 or later. Tests cover various scenarios and support code coverage. More information and examples are available in the project repository.