Man pages matching name getbddnodesupport in section 3:

getbddnodesupport.3.en

debian 10 / alliance