Man pages matching name bdd in section 1:

bdd.1.en

debian 10 / alliance