GitHub repository: multivvac/lala-core
Description: Core of the framework defining logical formula and abstract domain.