/IEGenLib

Inspector/Executor Generation Library for manipulating sets and relations with uninterpreted function symbols.

Primary LanguageCBSD 2-Clause "Simplified" LicenseBSD-2-Clause

Watchers