Dodan nov solver

Tokrat brez kontrolnih literalov ampak z dodanimi konfliktnimi stavki.
Treba je še nastavit periodo in koeficient deljenja verjetnosti pri
ugibanju in nekaj testiranja na primerih, zgleda pa dobro.