Links for pyqbf