==============
NRAEigenSolver
==============

NRAEigenSolver is a satisfiability checker for nonlinear 
rational arithmetic that accepts inputs in smt2 syntax.

From command-line, the tool can be run as::
    python src/nl_eigen_solver.py examples/<filename.smt2>
Or it can be used as:
    import NRAEigenSolver
    NRAEigenSolver.solve( <filename.smt2> )

Current version accepts only conjunctions of multilinear 
equations, and it may ignore nonlinear constraints that 
are not multilinear.
It may also ignore inequality or disequality constraints.

Requirements:
=============
Python 2.6 or 2.7
with the following libraries installed::
    numpy
    scipy
    dparser  (dparser.sourceforge.net)

For x86_64, dparser can be installed using::
    pip install dparser-1.9.tar.gz
For other systems, install using sources from dparser.sourceforge.net

Once dparser is installed, install NRAEigenSolver using::
    pip install NRAEigenSolver-0.1.tar.gz


URL http://www.csl.sri.com/users/tiwari/softwares/nl_eigen_solver/
Written By: Ashish Tiwari