Man pages matching name cryptominisat5_simple in section 1:

cryptominisat5_simple.1.en

debian 11 / cryptominisat