Exo-Sprache: Installations-, Entwicklungs- und Testanleitung

Exo ist eine Programmiersprache, die Python 3.9 und höher unterstützt. Die Installation erfolgt einfach über pip. Exo-Dateien lassen sich direkt mit Python ausführen, und C/Header-Dateien werden mit dem Befehl exocc generiert. Für die Entwicklung ist die Einrichtung einer virtuellen Umgebung und die Installation der benötigten Abhängigkeiten, einschließlich PySMT und CMake, erforderlich. Für Tests benötigen Sie z3-solver (oder einen anderen Solver) und CMake 3.21 oder höher. Die Tests decken verschiedene Szenarien ab und unterstützen Code-Coverage-Tests. Weitere Informationen und Beispiele finden Sie im Projekt-Repository.