linearEqSolver 2.2 → 2.3
raw patch · 4 files changed
+6/−7 lines, 4 files
Files
- COPYRIGHT +1/−1
- LICENSE +1/−1
- README.md +2/−3
- linearEqSolver.cabal +2/−2
COPYRIGHT view
@@ -1,4 +1,4 @@-Copyright (c) 2012-2017, Levent Erkok (erkokl@gmail.com)+Copyright (c) 2012-2020, Levent Erkok (erkokl@gmail.com) All rights reserved. The linearEqSolver library is distributed with the BSD3 license. See the LICENSE file
LICENSE view
@@ -1,6 +1,6 @@ linearEqSolver: Solves linear systems of equations, using SMT solving. -Copyright (c) 2012-2017, Levent Erkok (erkokl@gmail.com)+Copyright (c) 2012-2020, Levent Erkok (erkokl@gmail.com) All rights reserved. Redistribution and use in source and binary forms, with or without
README.md view
@@ -1,9 +1,8 @@ ## 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.+over rationals are supported. Either single solutions, or all solutions can be computed. See the inline+comments in the haddock documentation for example use cases. ### Build Status
linearEqSolver.cabal view
@@ -1,5 +1,5 @@ Name: linearEqSolver-Version: 2.2+Version: 2.3 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.@@ -10,7 +10,7 @@ . Release notes can be seen at: <http://github.com/LeventErkok/linearEqSolver/blob/master/CHANGES.md> -Copyright: Levent Erkok, 2012-2017+Copyright: Levent Erkok, 2012-2020 License: BSD3 License-file: LICENSE Stability: Experimental