GitHub repository: pncnmnp/Crossword-Solver
Primary language: Python
Created: 2019-12-11T10:19:21Z
Description: Mini crosswords solved quickly by guessing and positioning clues on the grid using Z3 SMT solver