Man pages matching name searchbddcircuitin in section 3:

searchbddcircuitin.3.en

debian 10 / alliance