Linguagem Exo: Guia de Instalação, Desenvolvimento e Teste

Exo é uma linguagem de programação que suporta Python 3.9 e superior. A instalação é simples, usando o pip. Arquivos Exo são executados diretamente com Python, e arquivos C/cabeçalho são gerados pelo comando exocc. O desenvolvimento envolve configurar um ambiente virtual e instalar dependências, incluindo PySMT e CMake. Testes exigem z3-solver (ou outro solver) e CMake 3.21 ou posterior. Os testes cobrem vários cenários e suportam testes de cobertura de código. Mais informações e exemplos estão disponíveis no repositório do projeto.