Man pages matching name csolver in section 3u:

CSolver.3u.en	debian 10 / ivtools-dev
CSolver.3u.en	debian 11 / ivtools-dev
CSolver.3u.en	debian 12 / ivtools-dev