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