# The linearEqSolver package

Express and solve linear systems of equations over integers and rationals, 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/).

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.

- No changelog available

## Properties

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

Dependencies | base (==4.*), sbv (>=2.7) |

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 |

Upload date | Sun Oct 21 23:25:12 UTC 2012 |

Uploaded by | LeventErkok |

Downloads | 206 total (16 in last 30 days) |

## Modules

[Index]

## Downloads

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

#### Maintainers' corner

For package maintainers and hackage trustees