Continuos Time Markov Chain Solver