Este repositorio representa la respuesta a un proyecto de clases referente a la asignatura de Programación Declarativa del curso de 4to año de la carrera Ciencias de la Computación pertenecientes a la Universidad de la Habana.
El proyecto tiene 2 objetivos generales:
- Crear un programa en Haskell que dado un Hidato con algunas casillas anotadas sea capaz de darle solución.
- Crear un programa en Haskell que sea capaz de resolver Hidatos.
Antes de poder usar nuestra aplicación es necesario tener instalado cabal, una herramienta para compilar aplicaciones hechas en Haskell. Una vez contamos con cabal debemos correr los siguiente comando para poder usar nuestra aplicación:
cabal install
cabal build
Esto instalará las dependencias necesarias y compilará los dos modulos principales que hacen uso de nuestra librería HidatoLib que es la que contiene la solución a los ejercicios popuestos en este trabajo. Estos módulos son:
- Generador
- Solucionador
La función del generador es a partir de una plantilla que cumple con ciertas características poder generar un tablero de Hidato que tiene una cantidad determinada de casillas sin ningún número para que después el solucionador pueda tomar este archivo y resolver el Hidato.
Se puede usar de la siguiente manera:
$ cabal run Generator -- --help
Hidato - Project of haskell
Usage: Generator [--version] [--template VALUE] [--board_name VALUE]
[--rotate INT]
Hidato Generator haskell implementation
Available options:
-h,--help Show this help text
--version Show version
--template VALUE Selected template to generate Board
--board_name VALUE Name of generated value
--rotate INT Rotate entry 90 degrees n times
La plantilla por defecto se va a encontrar en templates/Elipse.txt, el nombre del tablero va a ser board y el valor de rotación sería 0.
A partir de el tablero creado usando el generador, este módulo busca la solución del problema. La forma de usarlo es la siguiente:
$ cabal run Solver -- --help
Hidato - Project of haskell
Usage: Solver [--version] [--file VALUE]
Hidato haskell implementation
Available options:
-h,--help Show this help text
--version Show version
--file VALUE file with generated hidato
Lo siguiente genera un tablero usando el tamplate arrow y busca la solución este:
cabal run Generator -- --template templates/side-arrow.txt --board_name arrow.txt --rotate 1
cabal run Solver -- --file arrow.txt
Para mas detalles se puede ver directamente la explicación del código usado y nuestras razones para hacer las cosas, en el informe docs.