The latest version of linearEqSolver is 2.3-0.
linearEqSolver
Version 1.0 revision 0 uploaded by LeventErkok.
Package meta
- Synopsis
- Solve linear systems of equations over integers.
- Description
Express and solve linear systems of equations over integers, using an SMT solver to do the actual solving. By default, we use Microsoft's Z3 SMT solver (http://research.microsoft.com/en-us/um/redmond/projects/z3/).
You can get a single solution if it exists. Or ask for all possible solutions for underspecified systems, which will be lazily returned in a list.
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/RELEASENOTES.
- Author
- Levent Erkok
- Bug reports
- http://github.com/LeventErkok/linearEqSolver/issues
- Category
- Math, SMT
- Copyright
- Levent Erkok, 2012
- Homepage
- http://github.com/LeventErkok/linearEqSolver
- Maintainer
- Levent Erkok (erkokl@gmail.com)
- Package URL
- n/a
- Stability
- Experimental