Describir: Analysis and optimization of stochastic systems