Esta carpeta contiene los trabajos desarrollados durante el cursado de la materia "Análisis de lenguajes de programación" del 6to cuatrimestre de la LCC.
El projecto final se encuentra en CTL-SAT-Solver:
La idea de este proyecto es presentar una herramienta "SAT-Solver" la cual dado un modelo de lógica temporal, específicamente uno de CTL (Computation tree logic), y diferentes formulas le permita al usuario conocer que estados del modelo satisfacen las fórmulas provistas. Esto sera útil para usuarios que deseen resolver ejercicios, verificar resultados o desarrollar sus propios problemas con sus respectivas soluciones, relacionados con CTL.
stack setup
stack build
stack exec SAT-exe "Nombre-de-archivo.ctl"