Enviar aquest missatge de text: Marathon: An Open Source Software Library for the Analysis of Markov-Chain Monte Carlo Algorithms