Man pages matching name testbddcircuit in section 3:

testbddcircuit.3.en

debian 10 / alliance