Library
Doubly nonnegative relaxations for quadratic and polynomial optimization problems with binary and box constraints