OKlibrary  0.2.1.6
QBF.hpp File Reference

Plans regarding building of QBF solvers. More...

Go to the source code of this file.


Detailed Description

Plans regarding building of QBF solvers.

Todo:
Finding sources
  • Regarding open-source QBF solvers, it looks very weak.
  • We need to find all links.
  • It looks better regarding instances; we also need all links.
Todo:
Duaffle
Todo:
MiniQbf

Definition in file QBF.hpp.