Yaish, A. (2018). LazySet (Version 1.4.6) [Computer software]. https://doi.org/10.13140/RG.2.2.11125.50407