linear_solver is used at run time in 1 crate.

Depender linear_solver version
reachability_solver ^0.2.2