summaryrefslogtreecommitdiffstats
BranchCommit messageAuthorAge
master21 sympyTomasz Kramkowski23 months
 
 
AgeCommit messageAuthorFilesLines
2022-12-2121 sympyHEADmasterTomasz Kramkowski1-6/+6
2022-12-21remove unnecessary importTomasz Kramkowski1-1/+0
2022-12-2121 entirely in python (with z3)Tomasz Kramkowski1-25/+8
2022-12-2121Tomasz Kramkowski1-8/+7
2022-12-2121 simplify z3 programTomasz Kramkowski1-10/+11
2022-12-2121 all-in-oneTomasz Kramkowski1-2/+6
2022-12-2121Tomasz Kramkowski1-0/+40
2022-12-1816 add AA to pathTomasz Kramkowski1-1/+1
2022-12-1810 use a generator and inline some thingsTomasz Kramkowski1-27/+23
2022-12-1816 p2 attemptTomasz Kramkowski1-0/+24
[...]
 
Clone
https://the-tk.com/cgit/aoc2022