Is any chess software specifically for forced mates?
In particular, such software can only prune the search tree when it can prove
that the the move doesn't affect the existence of length of a forced mate.
Chess Stack Exchange is a question and answer site for serious players and enthusiasts of chess. It only takes a minute to sign up.Sign up to join this community
Joseph Ellis on talkchess has a modified Stockfish for mate solving.
Updates: 1) Sync with latest SF. 2) Move to full hash key. 3) Increase max depth to 250. 4) Improve mate detection. https://dl.dropboxusercontent.com/u/1145468/MateFinder.7z The archive includes the source and two very basic windows compiles.
The Github URL: https://github.com/jhellis3/Stockfish/tree/mate_finder
I never downloaded the archive and have no idea how good it is. I think it might worth a try as Joseph seemed to know what he was doing.
There are some specialised programs for solving all kinds of chess problems (like Chloe or Alybadix). They can also treat a Chess position as a problem and look for mates in there.
For more information, see https://en.wikipedia.org/wiki/Software_for_handling_chess_problems