We present an algorithm for the rigorous integration of Delay Differential
Equations (DDEs) of the form x′(t)=f(x(t−τ),x(t)). As an application, we
give a computer assisted proof of the existence of two attracting periodic
orbits (before and after the first period-doubling bifurcation) in the
Mackey-Glass equation