Check out PETSc. It is a library that can be called from C/C++ or Fortran, and provides several sparse solvers, as well as provides mechanisms to call other software libraries (lapack, superlu ...

We use a modification of the classical variational representation of the largest eigenvalue of a symmetric matrix, where cardinality is constrained, and derive a semidefinite programming--based ...