Solve systems of linear equations, using SMT solvers.
Why do you think that https://github.com/haskell/vector is a good alternative to linearEqSolver
Solve systems of linear equations, using SMT solvers.
Why do you think that https://github.com/haskell/vector is a good alternative to linearEqSolver