GitHub repository: lonsing/depqbf
Primary language: C
Description: DepQBF, a solver for quantified boolean formulae (QBF).