After you install Resolume, the DXV3 Codec will be on your computer and you'll need to use an encoder such as Adobe Media Encoder
($$ for PC & Mac) or MPEG Streamclip
(free for PC & Mac), QuickTime Pro 7 ($ Mac & PC but not available anymore!).
If you need more guidance, you'll find several thread in the forum on how to encode properly for Resolume that will explain to you the preferred settings.