Para Martín: el número de modelos que aparece antes del último depende realmente de la primera solución. Clingo va a ir buscando soluciones 'cada vez mejores' hasta que no encuentra una mejor. Tu computador está bien, pero el valor óptimo depende de cuántos robots estás usando. Para probar, saca un robot del problema que estás mirando y el valor óptimo debe ser distinto.
Para Trinidad: respecto del visualizador, por favor usa la última versión que subí este lunes, o 'arréglalo' agregando estas dos 3 líneas a tu archivo bodegas.lp:
% Estas lineas son solo necesarias para el visualizador
goal(R,X,Y,T) :- goal(R,X,Y),time(T).
goal(R,X,Y,0) :- goal(R,X,Y).
show goal/4.
(Para que se entienda cuál es el problema: el visualizador que viene con el paquete de la tarea, soporta objetivos 'temporales', que podrían cambiar en el tiempo. Ustedes no van a estar cambiando objetivos en el tiempo, aunque si quisieran podrían y el visualizador los desplegaría correctamente)
Hola Martín y Trinidad.
Para Martín: el número de modelos que aparece antes del último depende realmente de la primera solución. Clingo va a ir buscando soluciones 'cada vez mejores' hasta que no encuentra una mejor. Tu computador está bien, pero el valor óptimo depende de cuántos robots estás usando. Para probar, saca un robot del problema que estás mirando y el valor óptimo debe ser distinto.
Para Trinidad: respecto del visualizador, por favor usa la última versión que subí este lunes, o 'arréglalo' agregando estas dos 3 líneas a tu archivo bodegas.lp:
% Estas lineas son solo necesarias para el visualizador goal(R,X,Y,T) :- goal(R,X,Y),time(T). goal(R,X,Y,0) :- goal(R,X,Y).
show goal/4.
(Para que se entienda cuál es el problema: el visualizador que viene con el paquete de la tarea, soporta objetivos 'temporales', que podrían cambiar en el tiempo. Ustedes no van a estar cambiando objetivos en el tiempo, aunque si quisieran podrían y el visualizador los desplegaría correctamente)
Originally posted by @jabaier in https://github.com/IIC2613/Syllabus/issues/3#issuecomment-694842696