 #include <cuda.h>
 #include <chrono>
 
+
 const size_t num_threads = 128;
 
 bool results[90];
 bool results_calculated;
 size_t output_counter;
+
+constexpr int DIGS = DECIMAL_DIG;
 
 #ifdef single
 __constant__ const float_type min_denormal = 1.40129846e-45;

    float_type* lb_array = fp->layers[fp->numlayers - 1]->lb_array;
    float_type* ub_array = fp->layers[fp->numlayers - 1]->ub_array;

    print_bounds<<<1, 1>>>(lb_array, num_out_neurons);
    print_bounds<<<1, 1>>>(ub_array, num_out_neurons);

    std::cout << std::endl;
}

void ffn_handle_last_relu_layer(elina_manager_t* man, elina_abstract0_t* element, const double** weights, const double* bias, const size_t num_out_neurons, const size_t num_in_neurons, const bool has_relu)

__global__
void print_bounds(const float_type* __restrict__ bounds_array, const size_t num_out_neurons)
{
}


