ReadGlim
Property-driven Causal Abstractions for Markov Decision Processes — ReadGlim