Octagon abstract domain

Octagon is an abstract domain encapsulating a solver for difference constraints (also called temporal constraints) of the form ± x ± y <= k where x and y are variables and k is a constant. This library requires CUDA 12.0 or higher.