MichaelHartisch/EQuIPS

Hartisch, Michael; Chew, Leroy

doi:10.4230/artifacts.24095

Artifact

MichaelHartisch/EQuIPS Software

Authors Michael Hartisch , Leroy Chew

Part of: Collection: Supplementary Materials
License: MIT License
Publication Date: 2025-08-08

Document Identifiers

DOI: 10.4230/artifacts.24095
URN: urn:nbn:de:0030-drops-240951

Author Details

Michael Hartisch

University of Passau, Germany
FAU Erlangen-Nürnberg, Germany

Leroy Chew

TU Wien, Austria

Content

Software (Source Code): https://github.com/MichaelHartisch/EQuIPS
archived version

Version/Status

Content created at: 2025-06-03
Status: Active (at the time of publication 2025-08-08)

Cite As Get BibTex

Michael Hartisch, Leroy Chew. MichaelHartisch/EQuIPS (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025) https://doi.org/10.4230/artifacts.24095

Description

Expansion-based Quantified Integer Program Solver

Subject Classification

Keywords

Quantified Integer Programming
Quantified Constraint Satisfaction
Robust Discrete Optimization
Expansion
CEGAR

Programming Languages

C++
CMake
Linear Programming
C

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

Metadata

0

Downloads

Any Issues?

Feedback on the Current Page

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail