Man pages matching name convertbddcircuitabl in section 3:

convertbddcircuitabl.3.en

debian 10 / alliance