boost_cropped gmp glpk gsl mpc mpfr cmr rw cddlib graphs planarity cliquer libhomfly symmetrica
