add lapack/blas/glpk to readme
change solve -> evaluate
relax some upper bounds