summaryrefslogtreecommitdiffstats
path: root/21.py
Commit message (Collapse)AuthorAgeFilesLines
* remove unnecessary importTomasz Kramkowski2022-12-211-1/+0
|
* 21 entirely in python (with z3)Tomasz Kramkowski2022-12-211-25/+8
|
* 21Tomasz Kramkowski2022-12-211-8/+7
|
* 21 simplify z3 programTomasz Kramkowski2022-12-211-10/+11
|
* 21 all-in-oneTomasz Kramkowski2022-12-211-2/+6
|
* 21Tomasz Kramkowski2022-12-211-0/+40