Compara el tiempo entre dos encodings distinto de un problema con clingo y los exporta como un CSV. Escrito para el ramo IIC2613 @ PUC.
- Tus problemas deben estar en archivos
.lp
independientes en una carpeta llamadaproblems
. Puedes encontrar un generador de problemas aquí o aquí. - Abre
test
en un editor texto. Cambiabodegas.lp
por el nombre del encoding viejo, y cambiaparte_1.lp
por el nombre de tu encoding nuevo. - Corre
./test
en tu terminal. - El resultado final se guardará en
results.csv
para luego ser visualizado en algún programa como Microsoft Excel.