An efficient IMEX-DG solver for the compressible Navier-Stokes equations with a general equation of state.