/clingo-testing

Compara el tiempo entre dos encodings distinto de un problema con clingo.

Primary LanguageShell

clingo-testing

Compara el tiempo entre dos encodings distinto de un problema con clingo y los exporta como un CSV. Escrito para el ramo IIC2613 @ PUC.

Pasos de uso

  1. Tus problemas deben estar en archivos .lp independientes en una carpeta llamada problems. Puedes encontrar un generador de problemas aquí o aquí.
  2. Abre test en un editor texto. Cambia bodegas.lp por el nombre del encoding viejo, y cambia parte_1.lp por el nombre de tu encoding nuevo.
  3. Corre ./test en tu terminal.
  4. El resultado final se guardará en results.csv para luego ser visualizado en algún programa como Microsoft Excel.