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.
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.
Octagon abstract domain
MIT License