Published 2025 | Version v6
Software Open

PolyQEnt: A Polynomial Quantified Entailment Solver

Creators

  • 1. ROR icon Institute of Science and Technology Austria
  • 2. ROR icon Hong Kong University of Science and Technology
  • 3. ROR icon Sharif University of Technology
  • 4. ROR icon TU Wien
  • 5. ROR icon Singapore Management University

Description

PolyQEnt is an open-source free solver for Polynomial Quantified Entailments (PQEs) available at github.com/ChatterjeeGroup-ISTA/PolyQEnt/

Given an input system of PQEs in SMT-LIB format and an optional config file, PolyQEnt finds a valuation of the unknown variables in the input such that all the PQEs are satisfied. The tool can be used in a standalone fashion by providing the system of PQEs in a .smt2 file, or by using the API provided by the python packages. The details can be found in the submitted artifact and the github repository.

The artifact also contains details of how to run the experiments described in the paper.

Files

polyqent.zip

Files (501.5 MB)

Name Size Download all
md5:fbc80c39cb6188310b27812555b94a5a
501.5 MB Preview Download

Additional details

Software

Repository URL
https://github.com/ChatterjeeGroup-ISTA/PolyQEnt
Programming language
Python