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: [](http://travis-ci.org/LeventErkok/linearEqSolver)