Man pages matching name dreal in section 1:

dreal.1.en

debian 10 / alliance