Man pages matching name addbddcircuitout in section 3:

addbddcircuitout.3.en

debian 10 / alliance