Man pages matching name cadical in section 1:

cadical.1.en

debian 12 / cadical