• 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 . Described in
     E. Goldberg. Partial quantifier elimination and property generation, arXiv:2303.13811 [cs.LO]

• EG-PQE+: a PQE solver . Described in E. Goldberg. Partial quantifier elimination and property generation, arXiv:2303.13811 [cs.LO]
    • Version 1.0
    • Version 1.1