Smits, D., & van Daalen, F. Verticox+ [Computer software]. https://github.com/CARRIER-project/verticox/