Storing previously build CTMCs in a table.
Cache class
Merge branch 'feature/caching_CTMCs' into develop