Lattice land core library Core of the framework defining logical formula and abstract domain. This library requires CUDA 12.0 or higher.