hiqqer3
| Submitter: | Allen Van Gelder | ||
| Description: | Devised by A. Van Gelder and S. Wood, the QBF solver hiqqer consists of a csh script that invokes two preprocessors, PLODDER and EQXBF, then passes the resulting file to the complete solver STEPQBF. | ||
| Results: | |||