Man pages matching name addbddassoc in section 3:

addbddassoc.3.en

debian 10 / alliance