linearEqSolver

Solve linear systems of equations over integers and rationals, using an SMT solver. linearEqSolver is hosted at GitHub: http://github.com/LeventErkok/linearEqSolver. Comments, bug reports, and patches are always welcome. Release notes can be seen at: http://github.com/LeventErkok/linearEqSolver/blob/master/CHANGES.md