Closed Ignaciomendezp closed 3 years ago
No soy ayudante, pero debe ser que prob6.lp se soluciona con bound=18 (sale en el código del problema), por lo que te debe estar tirando UNSATISFIABLE y el programa de python se cae al no recibir el output esperado. Si pones bound=18 debería funcionar.
Gracias!
Hola! Al ejecutar el código entregado me sale el siguiente error:
No he tocado nada, alguien sabe que puede ser?
Gracias!