iprover-QBF-bloqqer
| Submitter: | Konstantin Korovin | ||
| Description: | Devised by Konstantin Korovin, is a version of iprover-QBF that uses BLOQQER as preprocessor. | ||
| Results: | |||
| Submitter: | Konstantin Korovin | ||
| Description: | Devised by Konstantin Korovin, is a version of iprover-QBF that uses BLOQQER as preprocessor. | ||
| Results: | |||