GitHub repository: Groszczu/numbrix
Primary language: Python
Description: Numbrix puzzle SAT encoding