Solver-for-Substitution-Cipher. This is a solver for substitution cipher based on n-gram Markov model, beam search and a formulation of CSP