Quadratic Programming with Computer Programs