GitHub repository: mgarcp13/aaset
Primary language: Python
Description: Herramienta para la ejecución simbólica de manera automática de código fuente Ada