Version 1.1 of the QBF and DQBF preprocessor HQSpre - Ralf Wimmer, 01/08/2017 07:36 PM
No preview available. Download the file instead.