# The linearEqSolver package

Solve linear systems of equations over integers and rationals, using an SMT solver.

Currently, the following SMT solvers are supported:

Z3 from Microsoft (http://z3.codeplex.com/).

CVC4 from New York University and the University of Iowa (http://cvc4.cs.nyu.edu) 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, 1.3 |
---|---|

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

License | BSD3 |

Copyright | Levent Erkok, 2012-2013 |

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 | Wed Jan 2 06:54:30 UTC 2013 |

Uploaded by | LeventErkok |

Downloads | 276 total (49 in last 30 days) |

## Modules

[Index]

## Downloads

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

#### Maintainers' corner

For package maintainers and hackage trustees