Proyecto Final : Haskell + MiniSAT

Alumnos	No. de Cuenta
Eulogio Sánchez Christian	320196872
López García Luis Norberto	423092075
Paredes Zamudio Luis Daniel	318159926

Dependencias

• Haskell 9.x> (Escrito en 9.4.8)
• Cabal 3.10.x> (Escrito en 3.10.2.1)
• MiniSAT 0.1

Proceso de Instalación

Suponiendo un entorno Debian, Ubuntu o derivados, Haskell se instala de la siguiente manera:

sudo apt install ghc cabal-install

Para entornos Fedora, se realiza lo siguiente:

sudo apt install ghc cabal-install

Una vez instalados GHC y Cabal, la libreria se puede instalar con la siguientes líneas de comandos:

cabal update
cabal install --lib minisat-solver

Note

Otra forma de instalación válida es usando ghcup. Las instrucciones de cómo instalarlo para sistemas basados en Unix y Windows vienen en la página oficial del programa. Se puede acceder a ella haciendo click aquí. Una vez instalado, se pueden verificar las instalaciones ejecutando el comando ghcup tui, el cual abrirá una interfaz de terminal para mostrar las versiones de lo que se instalo. Las dos palomitas verdes indican versión instalada y versión usando al momento.

Para verificar la correcta instalación de los programas y herramientas, se ejecuta el comando:

ghci GraphCLI.hs

Y se espera ver un resultado parecido al siguiente:

GHCi, version 9.4.8: https://www.haskell.org/ghc/  :? for help
[1 of 3] Compiling Graphs           ( Graphs.hs, interpreted )
[2 of 3] Compiling GraphColoring    ( GraphColoring.hs, interpreted )
[3 of 3] Compiling GraphCLI         ( GraphCLI.hs, interpreted )
Ok, three modules loaded.

Si el archivo se interpreta sin problemas, se puede proceder a la ejecución del programa.

Ejecución del Programa

Como mencionamos antes, se debe de interpretar el archivo GraphCLI.hs

ghci GraphCLI.hs

Una vez se ejecute, se debe de escribir main para entrar al menu de ejecución. Una vez en el se irán mostrando en pantalla los comandos con los cuales se puede interactuar con el programa.

Un ejemplo de la ejecución del programa es la siguiente:

ghci> main

==== Proyecto Final A: Haskell + MiniSAT ====
 Proyecto realizado por los alumnos
 - Paredes Zamudio Luis Daniel
 - López García Luis Norberto
 - Eulogio Sánchez Christian

 ==== Elige una opción: ====
 ==== 1. Resolver Ejercicios ====
 ==== 2. Salir ====
Solo escribe el número, el punto no es necesario.

1

Creando una nueva gráfica...

Seleccione una opción:
1. Seleccionar / Cambiar Gráfica
2. Creación Manual: Agregar Vértice
3. Creación Manual: Agregar Arista
4. Iniciar Coloración de la Gráfica Actual
5. Salir

1

Selecciona la gráfica a usar. Puedes verlas en imagen
en la carpeta 'imagenes' en la carpeta raiz del programa.
1. Gráfica de Petersen
2. Gráfica Moño
3. Gráfica K5
4. Gráfica 6-Ciclo
5. Grafica de Prueba
6. Regresar al menu Anterior
2

Gráfica actual: Grafica {vertices = [1,2,3,4,5], aristas = [(1,2),(1,3),(2,3),(3,4),(3,5),(4,5)]}

Seleccione una opción:
1. Seleccionar / Cambiar Gráfica
2. Creación Manual: Agregar Vértice
3. Creación Manual: Agregar Arista
4. Iniciar Coloración de la Gráfica Actual
5. Salir

4
'
Ingrese el la cantidad de colores a verificar
3

El Patron resultante es el siguiente: en la primera entrada
se encuentra el número del vértice y después el color asignado a este.

[(1,3),(2,1),(3,2),(4,3),(5,1)]
[(1,1),(2,3),(3,2),(4,3),(5,1)]
[(1,2),(2,1),(3,3),(4,1),(5,2)]
[(1,3),(2,1),(3,2),(4,1),(5,3)]
[(1,2),(2,1),(3,3),(4,2),(5,1)]
[(1,3),(2,2),(3,1),(4,2),(5,3)]
[(1,3),(2,2),(3,1),(4,3),(5,2)]
[(1,1),(2,2),(3,3),(4,2),(5,1)]
[(1,1),(2,3),(3,2),(4,1),(5,3)]
[(1,1),(2,2),(3,3),(4,1),(5,2)]
[(1,2),(2,3),(3,1),(4,2),(5,3)]
[(1,2),(2,3),(3,1),(4,3),(5,2)]

Gráfica actual: Grafica {vertices = [1,2,3,4,5], aristas = [(1,2),(1,3),(2,3),(3,4),(3,5),(4,5)]}

Seleccione una opción:
1. Seleccionar / Cambiar Gráfica
2. Creación Manual: Agregar Vértice
3. Creación Manual: Agregar Arista
4. Iniciar Coloración de la Gráfica Actual
5. Salir

5

Gráfica final:
Grafica {vertices = [1,2,3,4,5], aristas = [(1,2),(1,3),(2,3),(3,4),(3,5),(4,5)]}
ghci> :q
Leaving GHCi.

Para salir del entorno de ejecución ghci, se ejecuta :q

Aclaración sobre el Menu de Cambio de Gráficas

Las gráficas que se encuentran seleccionables en el menú Seleccionar / Cambiar Gráfica, se pueden ver visualmente en la carpeta images para un mejor entendimiento.

• Grafica de Petersen
• Grafica K5
• Grafica Moño
• Grafica 6-Ciclo
• Grafica de Prueba