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
See here for a current (March 2020)
development version.
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.
