Conflicts: src/storage/Decomposition.h src/storage/SparseMatrix.cpp src/storage/SparseMatrix.h src/storage/StronglyConnectedComponentDecomposition.cpp src/storage/StronglyConnectedComponentDecomposition.h src/storm.cpp test/functional/storage/StronglyConnectedComponentDecompositionTest.cpp Former-commit-id: 27e660a295
27e660a295