Started implementing a new PBQP solver, which should solve PBQPs and the problems...