Man pages matching name reorderbddsystemsimple in section 3:

reorderbddsystemsimple.3.en

debian 10 / alliance