Closed HenryBlairG closed 5 years ago
Se me ocurre que podrían usar WSL con la distribución que prefieran e instalar ahí clingo.
Luego del SetUp inicial de la consola, en particular si usan consola Ubuntu corran el comando
sudo apt install gringo
Alternativamente para los que tienen python, está esta opción (Fijense en la primera parte)
Saludos!!
Se me ocurre que podrían usar WSL con la distribución que prefieran e instalar ahí clingo.
Luego del SetUp inicial de la consola, en particular si usan consola Ubuntu corran el comando
Alternativamente para los que tienen python, está esta opción (Fijense en la primera parte)
Saludos!!