GitHub repository: ChatterjeeGroup-ISTA/polyqent
Primary language: SMT
Description: PolyQEnt is a solver for Polynomial Quantified Entailments (PQE).