GitHub - Groszczu/numbrix: Numbrix puzzle SAT encoding

Name		Name	Last commit message	Last commit date
Latest commit History 18 Commits
.gitignore		.gitignore
.python-version		.python-version
app.py		app.py
input.txt		input.txt
input2.txt		input2.txt
input3.txt		input3.txt
input4.txt		input4.txt
invalid_input.txt		invalid_input.txt
puzzle.py		puzzle.py
requirements.txt		requirements.txt
tests.py		tests.py