Refactoring projekta v en sat_solver