linearEqSolver-1.0: README

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

Solve systems of linear equations of many unknowns, using SMT solvers.

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)