GitHub repository: lattice-land/lala-core
Primary language: C++
Created: 2021-05-29T12:30:46Z
Description: Core of the framework defining logical formula and abstract domain.