My solutions to https://adventofcode.com/ in Python3
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
Bruno BELANYI 6a6552f6fc 2021: d25: ex2: add solution 8 months ago
2019 2019: d07: ex1: quieten Mypy 8 months ago
2020 2020: d25: ex2: add solution 8 months ago
2021 2021: d25: ex2: add solution 8 months ago
.envrc nix: add direnv integration 8 months ago
.gitignore git: ignore generated files 8 months ago
.isort.cfg isort: use 'black' compatible style 8 months ago
flake.lock nix: add flake 8 months ago
flake.nix nix: add z3 to python environment 8 months ago