| Alumnos | No. de Cuenta |
|---|---|
| Eulogio Sánchez Christian | 320196872 |
| López García Luis Norberto | 423092075 |
| Paredes Zamudio Luis Daniel | 318159926 |
- Haskell 9.x> (Escrito en 9.4.8)
- Cabal 3.10.x> (Escrito en 3.10.2.1)
- MiniSAT 0.1
Suponiendo un entorno Debian, Ubuntu o derivados, Haskell se instala de la siguiente manera:
sudo apt install ghc cabal-installPara entornos Fedora, se realiza lo siguiente:
sudo apt install ghc cabal-installUna vez instalados GHC y Cabal, la libreria se puede instalar con la siguientes líneas de comandos:
cabal update
cabal install --lib minisat-solverNote
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.hsY 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.
Como mencionamos antes, se debe de interpretar el archivo GraphCLI.hs
ghci GraphCLI.hsUna 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
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.
React
Typescript
Django
Laravel
Facebook
Microsoft
Google
Alibaba
D3
Tencent
