Some Software
Software for Partial Quantifier Elimination (PQE)
• VER-PQE: a program
for verifying of a solution to PQE . Described in
E. Goldberg. Verification
of partial quantifier elimination, arXiv:2303.14928 [cs.LO]
• DS-PQE: a PQE solver
. Presented in
E.Goldberg, P.Manolios. Partial quantifier elimination , HVC-14, Israel, LNCS-8855, pp.148-165, 2014
• EG-PQE: a PQE solver
. Presented in
E. Goldberg. Partial
quantifier elimination and property generation, CAV-23, Paris, France
• EG-PQE+: a PQE solver
. Presented in
E. Goldberg. Partial
quantifier elimination and property generation, CAV-23, Paris, France
• Version 1.0
• Version 1.1