Exo编程语言：安装、开发和测试指南

Exo是一种支持Python 3.9及以上版本的编程语言，其安装方式简单，只需使用pip即可完成。Exo文件可以直接用Python执行，并可通过exocc命令生成C和头文件。开发Exo需要设置虚拟环境，并安装必要的依赖项，包括PySMT和CMake。测试Exo需要安装z3-solver或其他求解器，以及CMake 3.21或以上版本。测试用例涵盖了多种情况，并支持代码覆盖率测试。Exo的更多信息和示例可在项目仓库中找到。