linearEqSolver (hackage): 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
Keywords: bsd3|library|math|smt