Library for BDD-based integer sets and transfer functions for abstract interpretation
Primary LanguageScala