# The linearEqSolver package

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.

[Skip to Readme]

## Properties

Versions | 1.0, 1.1, 1.2, 1.3 |
---|---|

Dependencies | base (==4.*), sbv [details] |

License | BSD3 |

Copyright | Levent Erkok, 2012 |

Author | Levent Erkok |

Maintainer | Levent Erkok (erkokl@gmail.com) |

Stability | Experimental |

Category | Math, SMT |

Home page | http://github.com/LeventErkok/linearEqSolver |

Bug tracker | http://github.com/LeventErkok/linearEqSolver/issues |

Source repository | head: git clone git://github.com/LeventErkok/linearEqSolver.git |

Uploaded | Thu Oct 18 06:50:08 UTC 2012 by LeventErkok |

Distributions | NixOS:1.3 |

Downloads | 862 total (9 in the last 30 days) |

Votes | |

Status | Docs available [build log] Successful builds reported [all 1 reports] |

## Downloads

- linearEqSolver-1.0.tar.gz [browse] (Cabal source package)
- Package description (included in the package)