Practica_LI_satsolver

Pràctica de l'assignatura Lògica informàtica, SAT solver

Name		Name	Last commit message	Last commit date
Latest commit History 20 Commits
README.md		README.md
SAT-raquel.cpp		SAT-raquel.cpp
alternatiu.cpp		alternatiu.cpp
alternatiu2.cpp		alternatiu2.cpp
raqul.py		raqul.py

Provide feedback