Man pages matching name searchbddcircuitout in section 3:

searchbddcircuitout.3.en

debian 10 / alliance