Description
Quantified Boolean Formula problems can be solved with a Skolemization-based solver that emits certificates. The package installs the prebuilt `squolem2` command for research and verification workflows involving QBF instances. It reads problem files and writes solver output, so paths and generated certificates should be tracked with the surrounding experiment.