Reproducibility Package: Automata-Driven Partial Order Reduction and Guided Search for LTL - Gjøl Jensen, Peter (2021)