Last released Jul 2, 2018
bindings to depqbf (a QBF solver)
Last released Feb 1, 2017
bindings to lgl (a SAT solver)
Supported by