Added necessary plumbing for tests for dependency solver

Pull request #56 done right (with fixed style issues)