Man pages matching name addbddcircuitabl in section 3:

addbddcircuitabl.3.en

debian 10 / alliance