Universe and solver rework

In this branch I have reworked the logic of jobs, universe and SAT solver. Now these functions should be more readable, small and functional than previously. Comments are welcome.