Large-scale VANET simulations are computationally intensive. Disolv is a simulation architecture proposed to support city-scale VANET studies. This paper describes software decisions taken to realize a concrete implementation of Disolv. We describe a common workflow and provide guidelines on best utilizing Disolv. Finally, a small experiment demonstrates the performance gains by comparing the execution times with state-of-the-art VANET simulators.