bindings to Depqbf with ctypes (wip)