Added necessary plumbing for tests for dependency solver

Pull request #56 done right (with fixed style issues)
Yeah, I made it in previous pull request, but forgot to do here