ToC Lab 2 group 2:
- Bevilacqua Joey
- De Vita Gianmarco
- Luini Alessandro
- Maggioni Claudio
python3 -m venv .env
source .env/bin/activate
pip install -r requirements.txtRun flask: FLASK_APP=solver/app flask run
This repository has been archived by the owner on Aug 5, 2021. It is now read-only.
bvlj/usi_toc_sudoku_sat
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Z3 python3 Sudoku SAT solver