stephanlachnit

#include <iostream>  
#include <CL/cl.hpp>

int main(int argc, char *argv[]) {
  std::vector<cl::Platform> platforms;
  cl::Platform::get(&platforms);

  int platform_id = 0;
  int device_id = 0;