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