Core of the framework defining logical formula and abstract domain.
Primary LanguageC++MIT LicenseMIT
This repository is not active