pyqbf_depqbf
pyqbf_quantor
pyqbf_qute
pyqbf_rareqs
pyqbf_qfun