Man pages matching name createbddcircuit in section 3:

createbddcircuit.3.en

debian 10 / alliance