Implement RSMs reachability algorithm#7

Open

Zestria wants to merge 9 commits intoSparseLinearAlgebra:stablefrom

Zestria:feat/rsm-reach

Commits on Dec 3, 2025

Commits on Feb 20, 2026

feat: implement the algorithm of rsm reachability
Zestria
committed

Commits on Mar 3, 2026

feat: add the algorithm's description
Zestria
committed

Commits on Apr 8, 2026

Implement second version of new algorithm
Zestria
committed

Commits on Apr 17, 2026

Commits on Apr 19, 2026