Spremenil test(), tako da testira tudi CNF pretvorbo.
Merge branch 'master' of git@github.com:strnisaj/LVR-sat.git
spremenil test(), da testira tudi CNF pretvorbo.