linearEqSolver
==============

Solve systems of linear equations, using SMT solvers. Both integer only solutions, and solutions
over rationals are supported.

Build Status
============
We use Travis-CI's automated build infrastructure, making a build for each commit. Current build status:
[![Build Status](https://secure.travis-ci.org/LeventErkok/linearEqSolver.png?branch=master)](http://travis-ci.org/LeventErkok/linearEqSolver)