GitHub repository: BoiseState-AdaptLab/IEGenLib
Primary language: C
Description: Inspector/Executor Generation Library for manipulating sets and relations with uninterpreted function symbols.