add dlx.solve_tagged_matrix()