freebsd/pkg — pull request #908 by vstakhov (2014-08-04 15:06:43+00:00)
Title: 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.