Is any chess software specifically for forced mates? 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.
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.


http://talkchess.com/forum/viewtopic.php?t=58597&amp;highlight=mate+solver

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.