This paper introduces the fundamental electricity market model NEULING, which provides least-cost dispatch and re-dispatch calculations in high temporal resolution. The underlying methodology is discussed in the context of the existing literature. Hereby, a special focus is on the classification of the applied DC load flow approach. Furthermore, the equations of the dispatch and re-dispatch models are presented in detail.