GitHub - vrindajindal2003/Z3_python: CS228 IITB, sudoku solver, n-queens solver, subset finder etc using z3

vrindajindal2003 / Z3_python Public

CS228 IITB, sudoku solver, n-queens solver, subset finder etc using z3

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
most-often.py		most-often.py
prob-at-most-one.py		prob-at-most-one.py
prob-repeat-machine.py		prob-repeat-machine.py
prob-sudoku.py		prob-sudoku.py
subsets.py		subsets.py

About

CS228 IITB, sudoku solver, n-queens solver, subset finder etc using z3

No releases published

No packages published