Man pages matching name cofactorbddnode in section 3:

cofactorbddnode.3.en

debian 10 / alliance