Popularity
6.0
Growing
Activity
0.0
Stable
8
6
2

Monthly Downloads: 32
Programming language: Haskell
License: BSD 3-clause "New" or "Revised" License
Tags: Math     SMT    
Latest version: v2.0

linearEqSolver alternatives and similar packages

Based on the "Math" category.
Alternatively, view linearEqSolver alternatives based on common mentions on social networks and blogs.

Do you think we are missing an alternative of linearEqSolver or a related project?

Add another 'Math' Package

README

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. See the inline comments in the haddock documentation for example use cases.

Build Status

Build Status