Lenguaje Exo: Guía de instalación, desarrollo y pruebas

Exo es un lenguaje de programación que admite Python 3.9 y superior. La instalación es sencilla mediante pip. Los archivos Exo se ejecutan directamente con Python, y los archivos C/de encabezado se generan con el comando exocc. El desarrollo implica configurar un entorno virtual e instalar las dependencias, incluidas PySMT y CMake. Las pruebas requieren z3-solver (u otro solucionador) y CMake 3.21 o superior. Las pruebas cubren varios escenarios y admiten pruebas de cobertura de código. Puede encontrar más información y ejemplos en el repositorio del proyecto.