Proyecto de Logica para Ciencias de la Computacion

Aqui esta documentado todo el proceso.

Resultados.

G07.ipynb Notebook de entrega
Logica.py Archivo proporcionado por el docente + algoritmos completados
Queens.py Clase Reinas para representar el problema
Bench.py Intento futil de encontrar el mejor conjunto de parametros para WalkSAT
genetic-sat.py Intento futil de usar un algoritmo genetico para encontrar el mejor conjutno de parametros para WalkSAT
tree_less_logic.py Codigo escrito por mi en un acto de aburrimiento para intentar reducir el conusmo de memoria RAM de los algoritmos (funciono, mas o menos)
tseitin.ipynb y walkSAT.ipynb archivos de prueba de los algoritmos

Name		Name	Last commit message	Last commit date
Latest commit History 17 Commits
img		img
.gitignore		.gitignore
G07.ipynb		G07.ipynb
Logica.py		Logica.py
Queens.py		Queens.py
README.md		README.md
bench.py		bench.py
genetic_sat.py		genetic_sat.py
tree_less_logic.py		tree_less_logic.py
tseitin.ipynb		tseitin.ipynb
walkSAT.ipynb		walkSAT.ipynb