linearEqSolver-2.4: README.md

## linearEqSolver

Solve systems of linear equations, using SMT solvers. Both integer only solutions and solutions
over rationals are supported. Either single solutions, or all solutions can be computed. See the inline
comments in the haddock documentation for example use cases.