Name		Name	Last commit message	Last commit date
parent directory ..
LICENSE		LICENSE
README.md		README.md
chungos.txt		chungos.txt
minisat		minisat
results.txt		results.txt
walksat_pseudocode.txt		walksat_pseudocode.txt

README.md

SAT-PAIA

Sat solver for Software Oriented to Arifical Inteligence (PAIA)

./race.py .py