Specification synthesizer based on CHC/SyGuS. Supports Maximality and Non-Vacuity constraints.
Primary LanguageSMTOtherNOASSERTION