Man pages matching name getbddnodesize in section 3:

getbddnodesize.3.en

debian 10 / alliance