Man pages matching name addbddcircuitin in section 3:

addbddcircuitin.3.en

debian 10 / alliance