Dodan nov test za hadamard + dpll.
Odkrit nek cuden bug v resevanju dpll/hadamard.
Popravljen klic metode simplify_xx_same znotraj metode simplfy, sedaj deluje pravilno v vseh primerih.
Dodano klicanje push_not v metodo simplify.
Dodani primeri v razredu primer_uporabe.

Najdenih par cudnih bugov (al neki).