Some simple puzzles solved with SMT solvers.

Currently with z3. Samples of pysmt will probably be added later.

Name		Name	Last commit message	Last commit date
Latest commit History 4 Commits
.gitignore		.gitignore
README.md		README.md
digit_puzzle.py		digit_puzzle.py
math_olympiad_abc.py		math_olympiad_abc.py
money_puzzle.py		money_puzzle.py
poetry.lock		poetry.lock
pyproject.toml		pyproject.toml

Provide feedback