package solver_test