linearEqSolver 2.1 → 2.2
raw patch · 3 files changed
+12/−13 lines, 3 filesPVP ok
version bump matches the API change (PVP)
API changes (from Hackage documentation)
Files
- README +0/−11
- README.md +10/−0
- linearEqSolver.cabal +2/−2
− README
@@ -1,11 +0,0 @@-## 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.--The hackage site http://hackage.haskell.org/package/linearEqSolver is the best place for details on the API and the example use cases.--### Build Status--We use Travis-CI's automated build infrastructure, making a build for each commit. Current build status:-[](http://travis-ci.org/LeventErkok/linearEqSolver)
+ README.md view
@@ -0,0 +1,10 @@+## 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.++The hackage site http://hackage.haskell.org/package/linearEqSolver is the best place for details on the API and the example use cases.++### Build Status++[](http://travis-ci.org/LeventErkok/linearEqSolver)
linearEqSolver.cabal view
@@ -1,5 +1,5 @@ Name: linearEqSolver-Version: 2.1+Version: 2.2 Category: Math, SMT 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.@@ -20,7 +20,7 @@ Maintainer: Levent Erkok (erkokl@gmail.com) Build-Type: Simple Cabal-Version: 1.14-Extra-Source-Files: INSTALL, README, COPYRIGHT, CHANGES.md+Extra-Source-Files: INSTALL, README.md, COPYRIGHT, CHANGES.md source-repository head type: git