GitHub repository: perebor/qute
Primary language: C++
Description: Qute: a dependency learning QBF solver.