#include <iostream>
#include <cassert>
#include <CGAL/basic.h>
#include <CGAL/QP_models.h>
#include <CGAL/QP_functions.h>
#ifdef CGAL_USE_GMP
#else
#endif
int main() {
const int X = 0;
const int Y = 1;
qp.set_a(X, 0, 1); qp.set_a(Y, 0, 1); qp.set_b(0, 7);
qp.set_a(X, 1, -1); qp.set_a(Y, 1, 2); qp.set_b(1, 4);
qp.set_u(Y, true, 4);
qp.set_d(X, X, 2); qp.set_d (Y, Y, 8);
qp.set_c(Y, -32);
qp.set_c0(64);
assert (s.solves_quadratic_program(qp));
std::cout << s;
return 0;
}