About

cmdqbf is a distributed QBF solver for QDIMACS input that I'm developing based on the ideas in MPIDepQBF with various improvements. It uses DepQBF as underlying solver but is intended to be fairly independent of sequential solver.

Downloads

Status

This is an early development snapshot. Details, improvements, analysis to come. Default options are not great for performance.

Acknowledgements

Supported in part by JSPS grants 18K18027 and 16H02785.
Valid HTML 3.2