Diferencia entre revisiones de «Puzzles de tableros»
De Lógica computacional y teoría de modelos (2019-20)
| Línea 2: | Línea 2: | ||
** [[Nurikabe | Programa]] | ** [[Nurikabe | Programa]] | ||
*** Instancias: | *** Instancias: | ||
| − | **** [[Nurikabe | Primera instancia]] | + | **** [[Nurikabe 1I| Primera instancia]] |
| − | **** [[Nurikabe | Segunda instancia]] | + | **** [[Nurikabe 2I | Segunda instancia]] |
* ''Heyawake'' | * ''Heyawake'' | ||
** [[Heyawake | Programa]] | ** [[Heyawake | Programa]] | ||
*** Instancias: | *** Instancias: | ||
| − | **** [[Heyawake | Primera instancia]] | + | **** [[Heyawake 1I | Primera instancia]] |
* ''Masyu'' | * ''Masyu'' | ||
** [[Masyu | Programa]] | ** [[Masyu | Programa]] | ||
*** Instancias: | *** Instancias: | ||
| − | **** [[Masyu | Primera instancia]] | + | **** [[Masyu 1I | Primera instancia]] |
| − | **** [[Masyu | Segunda instancia]] | + | **** [[Masyu 2I | Segunda instancia]] |
* ''Bag puzzle'' | * ''Bag puzzle'' | ||
** [[Bag puzzle | Programa]] | ** [[Bag puzzle | Programa]] | ||
*** Instancias: | *** Instancias: | ||
| − | **** [[Bag puzzle | Primera instancia]] | + | **** [[Bag puzzle 1I | Primera instancia]] |
| − | **** [[Bag puzzle | Segunda instancia]] | + | **** [[Bag puzzle 2I | Segunda instancia]] |