Odpravljanje hroscev

Hadamardova matrika sedaj dela
SAT solver in bool sta dobila nekaj popravkov