Smeets, S., Azizi, V., & Ho, A. duqtools (Version 3.1.6) [Computer software]. https://github.com/duqtools/duqtools