boost_cropped gmp glpk highs gsl mpc mpfr cmr rw cddlib graphs planarity cliquer libhomfly symmetrica m4ri m4rie libgd
