DepQBF 6.03: GPL-3.0 license (https://github.com/lonsing/depqbf)
Qute 1.1: MIT license (https://github.com/fslivovsky/qute)
QFun 1.0: GNU GPL (https://sat.inesc-id.pt/~mikolas/sw/qfun/)
CAQE 4.0.1: MIT license (https://github.com/ltentrup/caqe)
RAReQS 1.1: GNU GPL (https://sat.inesc-id.pt/~mikolas/sw/areqs/)