BiqCrunch is a semidefinite-based solver for binary quadratic problems. It uses a branch-and-bound method featuring an improved semidefinite bounding procedure [8], combined with a polyhedral approach (see [5, 4] for details).
BiqCrunch is written in C and Fortran and uses the external library L-BFGS-B [2] for quasi-Newton bound-constrained optimization and the branch-and-bound framework BOB [7]. BiqCrunch uses specific BC input files, and an LP format conversion tool is provided.
People involved with the development of BiqCrunch are