Man pages matching name convertbddnodesumabl in section 3:

convertbddnodesumabl.3.en

debian 10 / alliance