/AbstractDomain_ADT

Implementation of an abstract domain for algebraic data types

Primary LanguageScala

Stargazers

No one’s star this repository yet.