GitHub repository: yi-jiayu/picrosser
Primary language: Python
Created: 2019-10-23T07:29:55Z
Description: Z3-powered Picross solver