Remove t1.cnf

Signed-off-by: Diego Giovane Pasqualin <dpasqualin@c3sl.ufpr.br>
dpll.js: Use hash instead of array to represent the current state

It was getting hard to keep track what every element on the array mean it

Signed-off-by: Diego Giovane Pasqualin <dpasqualin@c3sl.ufpr.br>