ADL - An Abstract Domains' Library ADL is a C++ library implementing the octagon domain in CPU and GPU. (may add more abstract domains in the future!). License MIT.