Inspector/Executor Generation Library for manipulating sets and relations with uninterpreted function symbols.
Primary LanguageCBSD 2-Clause "Simplified" LicenseBSD-2-Clause