Puzzles de tableros - Lógica computacional y teoría de modelos (2019-20)

Puzzles de tableros

De Lógica computacional y teoría de modelos (2019-20)

Revisión del 11:11 18 feb 2019 de Mjoseh (discusión | contribuciones)

(dif) ← Revisión anterior | Revisión actual (dif) | Revisión siguiente → (dif)

Nurikabe
- Programa
  - Instancias:
    - Primera instancia
    - Segunda instancia
Heyawake
- Programa
  - Instancias:
    - Primera instancia
Masyu
- Programa
  - Instancias:
    - Primera instancia
    - Segunda instancia
Bag puzzle
- Programa
  - Instancias:
    - Primera instancia
    - Segunda instancia

Obtenido de «https://www.glc.us.es/~jalonso/LCyTM2018/index.php?title=Puzzles_de_tableros&oldid=96»