Optional exercise by Pablo Ruiz and Miguel Ángel Mayoral for Verificación y Desarrollo de Programas.
The program was coded in Python 3.6, so run it in same version.
You can install the dependencies using:
make bootstrapYou can execute the program using the next command:
python main.py