TST: ensure to consider the full package when computing coverage in travis-ci.
TST: start adding functional tests for the solver.