Man pages matching name addbddvar in section 3:

addbddvar.3.en

debian 10 / alliance