A .divx file contains MPEG-4 video that is encoded with the DivX codec. Many video file encoded with DivX are also wrapped in the format of Audio Video Interleave and have the extension .avi.