Lattice land core library

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