movesrwth/prophesy repository overview

Prophesy is a tool set for parameter synthesis of parametric Markov models. For more information see: https://moves-rwth.github.io/prophesy⁠