marmote is a programming platform for building and solving Markov models with discrete state spaces.