Man pages matching name convertbddnodeabl in section 3:

convertbddnodeabl.3.en

debian 10 / alliance