Man pages matching name satisfybddnode in section 3:

satisfybddnode.3.en

debian 10 / alliance