mathemtics optmization and control theorem lib

like sostool we want present a tool to integrate sdp and semidefinite algebra

system: linux system

need libs: lapack blas

complie:

mkdir lib

make

make

usage: ./aisat_release filename

example: ./aisat_release example.txt

CAV13 eaxmple: ./aisat_release example.txt