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