summaryrefslogtreecommitdiffstats
path: root/21.py
Commit message (Expand)AuthorAgeFilesLines
* 21 sympyHEADmasterTomasz Kramkowski2022-12-211-6/+6
* 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