Nonogramm Solver

This is a fairly simple solver for the japanese puzzle game Nonogramm written in Python using z3 Solver.

Name		Name	Last commit message	Last commit date
Latest commit History 5 Commits
.gitignore		.gitignore
README.md		README.md
example.non		example.non
example2.non		example2.non
example3.non		example3.non
solver.py		solver.py
z3solver.py		z3solver.py

Provide feedback