Arc consistency crossword compiler