GitHub repository: lbeurerkellner/quantifier-analysis
Primary language: TypeScript
Description: An analysis tool for quantifier instantiation behaviour of E-Matching based SMT solvers.