krypt-n

#include <iostream>

#include "routing/osrm_routed_wrapper.h"
#include "structures/vroom/input/input.h"
#include "structures/vroom/job.h"
#include "structures/vroom/vehicle.h"
#include "utils/exception.h"

void log_solution(const vroom::Solution& sol, bool geometry) {
  std::cout << "Total cost: " << sol.summary.cost << std::endl;

krypt-n

(declare-fun x0 () Int)
(declare-fun x5 () Int)
(declare-fun x9 () Int)
(declare-fun h_0 () Int)
(declare-fun h_5 () Int)
(declare-fun x13 () Int)
(declare-fun h_1 () Int)
(declare-fun x17 () Int)
(declare-fun h_2 () Int)
(declare-fun x21 () Int)

krypt-n

~ gcc --version
gcc (GCC) 6.3.1 20170306
Copyright (C) 2016 Free Software Foundation, Inc.
This is free software; see the source for copying conditions.  There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

~ gcc -march=native -Wall -Wextra -O3 test.c -o test
test.c: In function ‘main’:
test.c:5:14: warning: unused parameter ‘argc’ [-Wunused-parameter]
 int main(int argc, char** argv) {

krypt-n

#include <xcb/xcb.h>
#include <stdio.h>
#include <stdbool.h>


struct area1_t {
    unsigned int begin:16;
    unsigned int end:16;
    bool active:1;
    int align:3;

krypt-n

#include <utility>
#include <iostream>

/**
 * Trampolines to methods for C-style callbacks.
 *
 * The void* / callback data is the instance you want the method
 * called on.
 */
template<typename T, typename ...Types>