8000 GitHub - enrik49/Programacio: Ferem una mica de locomotion

More Web Proxy on the site http://driver.im/

Name		Name	Last commit message	Last commit date
Latest commit History 16 Commits
bench		bench
files		files
new_files		new_files
3.0sat.py		3.0sat.py
30clauses.cnf		30clauses.cnf
README.md		README.md
algorithm_new.py		algorithm_new.py
algoritme.py		algoritme.py
limits.sh		limits.sh
minisat		minisat
output.txt		output.txt
prova.cnf		prova.cnf
race.py		race.py
rnd-cnf-gen.py		rnd-cnf-gen.py
sat2.py		sat2.py
tmp.cnf		tmp.cnf
tmp_tauto.cnf		tmp_tauto.cnf

Repository files navigation

Programacio

Ferem una mica de locomotion