GitHub repository: schrdrl/AbstractDomain_ADT
Primary language: Scala
Created: 2021-11-07T17:36:17Z
Description: Implementation of an abstract domain for algebraic data types