linearEqSolver
Version 2.4 revision 0 uploaded by LeventErkok.
Package meta
- Synopsis
- Use SMT solvers to solve linear systems over integers and rationals
- Description
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
- Author
- Levent Erkok
- Bug reports
- http://github.com/LeventErkok/linearEqSolver/issues
- Category
- Math, SMT
- Copyright
- Levent Erkok, 2012-2020
- Homepage
- http://github.com/LeventErkok/linearEqSolver
- Maintainer
- Levent Erkok (erkokl@gmail.com)
- Package URL
- n/a
- Stability
- Experimental