Este repositorio contiene las fuentes de mi Trabajo de fin de grado, en el cual estudio el problema de satisfabilidad en lógica proposicional. Puede ver el compilado de la tesis (en inglés) en .

Este repositorio se organiza en dos carpetas principales:

• En la carpeta src se puede ver el código desarrollado como apoyo a la disertación teórica del capítulo 7 del trabajo.
• En la carpeta tesis se encuentran las fuentes de latex utilizadas para la generación del documento. Para compilaro uso el comando:

pdflatex  -file-line-error   -interaction=nonstopmode main.tex

Espero les guste este trabajo. No duden en dejar marcado un issue o pull request (o contactarme personalmente) en caso de encontrar algún fallo tanto en el código como en el texto.

Un saludo, Pedro Bonilla Nadal.

This repository contains the sources of my Bachelor's Thesis, in which I study the problem of satisfaction in propositional logic. You can see the compilation of the thesis in .

This repository is organized in two main folders:

• In the src folder you can see the code developed to support the theoretical dissertation of chapter 7 of the paper.
• In the thesis folder you can find the latex sources used for the generation of the document. To compile it I use the command:

pdflatex -file-line-error -interaction=nonstopmode main.tex

I hope you like this work. Don't hesitate to leave an issue or pull request (or contact me personally) in case you find any error in the code or in the text.

Greetings, Pedro Bonilla Nadal.