|Description:|| Devised by Mikolas Janota, is a prototype based on the ideas described in |
Bjørner, N., Janota, M., Klieber, W.: On conflicts and strategies in QBF. In: 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations, LPAR 2015, Suva, Fiji, November 24-28, 2015. Volume 35 of EPiC Series in Computing., EasyChair (2015) 28–41
The submitted version includes bloqqer as preprocessor.