summaryrefslogtreecommitdiffstats
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
* 16 add AA to pathTomasz Kramkowski2022-12-181-1/+1
* 10 use a generator and inline some thingsTomasz Kramkowski2022-12-181-27/+23
* 16 p2 attemptTomasz Kramkowski2022-12-181-0/+24
* 16 remove sum_flowTomasz Kramkowski2022-12-181-27/+24
* 16 store path and print itTomasz Kramkowski2022-12-181-5/+11
* .gitignoreTomasz Kramkowski2022-12-181-0/+2
* 16 intern later to compact node idsTomasz Kramkowski2022-12-181-5/+5
* 18Tomasz Kramkowski2022-12-181-0/+45
* 17Tomasz Kramkowski2022-12-171-0/+85
* 16 much fasterTomasz Kramkowski2022-12-161-7/+9
* 16 fasterTomasz Kramkowski2022-12-161-12/+27
* 16 line lengthTomasz Kramkowski2022-12-161-1/+2
* 16 much shorterTomasz Kramkowski2022-12-161-15/+7
* 16 shorterTomasz Kramkowski2022-12-161-17/+11
* 16 simplify a bitTomasz Kramkowski2022-12-161-18/+11
* 16 p1Tomasz Kramkowski2022-12-161-0/+75
* 15Tom Kramkowski2022-12-151-0/+59
* utils: docstringsTom Kramkowski2022-12-151-1/+6
* 14 remove superfluous comparisonTomasz Kramkowski2022-12-141-1/+1
* 14 use source when positioning floorTomasz Kramkowski2022-12-141-1/+1
* 14 remove superfluous codeTomasz Kramkowski2022-12-141-16/+0
* 14 remove profiling codeTomasz Kramkowski2022-12-141-2/+0
* 14 much fasterTomasz Kramkowski2022-12-141-22/+26
* 14 slowTomasz Kramkowski2022-12-141-0/+91
* 13 chain from iterableTomasz Kramkowski2022-12-131-5/+3
* 13 prettier alignmentTomasz Kramkowski2022-12-131-2/+2
* 13 foldedTomasz Kramkowski2022-12-131-8/+4
* 13 - use pattern matchingTomasz Kramkowski2022-12-131-9/+7
* 13Tomasz Kramkowski2022-12-131-0/+36
* 9Tomasz Kramkowski2022-12-121-0/+52
* 12Tomasz Kramkowski2022-12-122-0/+156
* 11Tomasz Kramkowski2022-12-111-0/+54
* 8, 10Tomasz Kramkowski2022-12-102-0/+106
* days 1-7Tomasz Kramkowski2022-12-077-0/+182