A library for working with Markov Decision Processes (MDPs) and planning algorithms.