Enrique Adega Fernández
Alejandro Becerra Suárez
Se deberá convertir los .txt con el formato presentado en la práctica usando:
python3 encode.py <masyuEntrada.txt> <masyu.lp> El archivo de salida se deberá ejecutar junto al archivo masyuKB.lp
clingo 0 masyuKB.lp <masyu.lp> Con este código en nuestro hardware tenemos los siguientes resultados:
| masyu | tiempo (s) |
|---|---|
| 00 | 0.003 |
| 01 | 0.002 |
| 02 | 0.028 |
| 03 | 0.032 |
| 04 | 0.101 |
| 05 | 0.541 |
| 06 | 3.505 |
| 07 | 35.72 |
| 08 | 76.81 |