- This project solves mine sweeper problem via SAT-solver (z3-solver)
- To go through
"Pawa-Puro-Kun Pocket R, Sensou-Hen, Noroi-Jima"
game stages safely as possible
- Run
PIPENV_VENV_IN_PROJECT=1 pipenv sync
- Run
source .venv/bin/activate && jupyter notebook
- Use
solver.ipynb
from Jupyter Notebook