QBF

A collection for projects that are generally useful in the realm of QBF. Does not (yet) replace http://www.qbflib.org/ but tries to be a better archive.