dqbf

There are 2 repositories under dqbf topic.

jurajsic/DQBDD
BDD based DQBF solver
Language:C7 2 32
jurajsic/DQBFbenchmarks
Benchmarks of different DQBF solvers using BenchExec framework
Language:Python0 0 00