# MAiNGO subinterval arithmetic
Subinterval arithmetic for MAiNGO lower bounding with CUDA graph.