master
  1. LVR-SAT-solver-KOE
Name
jaanos's repositories
Homework Files-20171028
testing_files
.gitignore
LICENSE
README.md
boolean.py
brute_force_SAT.py
dpll_algoritem.py
dpll_run.py
graphColouring.py
testni_primer_1min.txt
testni_primeri.py
zapisi_primer_1min.py