Most discussions of the magnetic vector potential defined through $\mathbf{B}=\nabla\times\mathbf{A}$ are only for working with static electric fields (for example, Griffiths:
If we instead require that
$$\nabla\times\mathbf{B}=\nabla\times(\nabla\times\mathbf{A}) = \nabla(\nabla\cdot\mathbf{A})\ -\nabla^2\mathbf{A} = \mu_0\mathbf{J} +\mu_0\epsilon_0\frac{\partial\mathbf{E}}{\partial t}$$
using the full form of Ampere's law, then we can still have the freedom to choose an $\mathbf{A}$ with zero divergence, giving us a form of Poisson's equation:
$$\nabla^2\mathbf{A} = -\mu_0\mathbf{J} -\mu_0\epsilon_0\frac{\partial\mathbf{E}}{\partial t}$$
Which can be solved in principle using analogies to the electric scalar potential $V$.
Why is this form of the magnetic vector potential in its full generality seldom seen? Is there a contradiction which prevents its use?