Tools for puzzle solving