5 Commits (72af8c72463b5052062f9511e5312e7d4e1bfcc2)

Author SHA1 Message Date
PBerger d2f4c85711 Made changes to comply with new SparseMatrix Interface (YUCK). 12 years ago
PBerger 98b0bcf187 Reimplemented the TopologicalValueIterationNondeterministicLinearEquationSolver with splitting into submatrices. 12 years ago
masawei 15d13bc06d Refactored the AutoParser. 12 years ago
dehnert f79329bd9d Fixed SCC decomposition. Added functional tests for SCC decomposition. 12 years ago