GitHub repository: CompOpt4Apps/IEGenLib
Primary language: C
Created: 2015-10-20T21:01:12Z
Description: Inspector/Executor Generation Library for manipulating sets and relations with uninterpreted function symbols.