Commit graph

405 commits

Author SHA1 Message Date
Bruno BELANYI 50dfee46e6 2022: d05: ex2: add input 2024-11-23 18:50:16 +00:00
Bruno BELANYI 624ccdd863 2022: d05: ex1: add solution 2024-11-23 18:50:16 +00:00
Bruno BELANYI 157522996f 2022: d05: ex1: add input 2024-11-23 18:50:16 +00:00
Bruno BELANYI 64a9d16216 2022: d04: ex2: add solution 2024-11-23 18:50:16 +00:00
Bruno BELANYI affe5cd89b 2022: d04: ex2: add input 2024-11-23 18:50:16 +00:00
Bruno BELANYI 742de9ade3 2022: d04: ex1: add solution 2024-11-23 18:50:16 +00:00
Bruno BELANYI 197c7060db 2022: d04: ex1: add input 2024-11-23 18:50:16 +00:00
Bruno BELANYI 30ff9c5266 2022: d03: ex2: add solution 2024-11-23 18:50:16 +00:00
Bruno BELANYI edeae4d9f4 2022: d03: ex2: add input 2024-11-23 18:50:16 +00:00
Bruno BELANYI ef2a4c0700 2022: d03: ex1: add solution 2024-11-23 18:50:16 +00:00
Bruno BELANYI 6c496ec591 2022: d03: ex1: add input 2024-11-23 18:50:16 +00:00
Bruno BELANYI b79109ed37 2022: d02: ex2: add solution 2024-11-23 18:50:16 +00:00
Bruno BELANYI 439a4362d1 2022: d02: ex2: add input 2024-11-23 18:50:16 +00:00
Bruno BELANYI ed2497a67c 2022: d02: ex1: add solution 2024-11-23 18:50:16 +00:00
Bruno BELANYI 0df109da5b 2022: d02: ex1: add input 2024-11-23 18:50:16 +00:00
Bruno BELANYI 06fee9ad24 2022: d01: ex2: add solution 2024-11-23 18:50:16 +00:00
Bruno BELANYI 80ee0fddb5 2022: d01: ex2: add input 2024-11-23 18:50:16 +00:00
Bruno BELANYI 7054b00043 2022: d01: ex1: add solution 2024-11-23 18:50:16 +00:00
Bruno BELANYI 99d677590f 2022: d01: ex1: add input 2024-11-23 18:50:16 +00:00
Bruno BELANYI a9e68c07d6 nix: use 'nixpkgs-unstable' 2024-11-23 18:50:16 +00:00
Bruno BELANYI c5861c0b22 nix: bump flake inputs 2024-11-23 18:50:16 +00:00
Bruno BELANYI 4efa9d74e3 nix: fix 'pyright' 2024-11-23 18:50:16 +00:00
Bruno BELANYI f65d22ece5 2021: d25: ex2: add solution 2024-11-23 18:50:16 +00:00
Bruno BELANYI 2fa3ffadeb 2021: d25: ex2: add input 2024-11-23 18:50:16 +00:00
Bruno BELANYI afb38fba2c 2021: d25: ex1: add solution 2024-11-23 18:50:16 +00:00
Bruno BELANYI 4447a4da44 2021: d25: ex1: add input 2024-11-23 18:50:16 +00:00
Bruno BELANYI 18d91fee78 2021: d24: ex2: add solution 2024-11-23 18:50:16 +00:00
Bruno BELANYI f4cd01f6a0 2021: d24: ex2: add input 2024-11-23 18:50:16 +00:00
Bruno BELANYI ed49448d04 2021: d24: ex1: add solution 2024-11-23 18:50:16 +00:00
Bruno BELANYI 4a691b8dd2 2021: d24: ex1: add input 2024-11-23 18:50:16 +00:00
Bruno BELANYI 0d3efefaa5 nix: add z3 to python environment 2024-11-23 18:50:16 +00:00
Bruno BELANYI f42b43d8bc nix: use proper python environment 2024-11-23 18:50:16 +00:00
Bruno BELANYI 637c597525 2021: d23: ex2: add solution 2024-11-23 18:50:16 +00:00
Bruno BELANYI d04c77d40c 2021: d23: ex2: add input 2024-11-23 18:50:16 +00:00
Bruno BELANYI 42979f727b 2021: d23: ex1: add solution 2024-11-23 18:50:16 +00:00
Bruno BELANYI 0daf3f7e03 2021: d23: ex1: add input 2024-11-23 18:50:16 +00:00
Bruno BELANYI 14cfc776b7 2021: d22: ex2: add solution 2024-11-23 18:50:16 +00:00
Bruno BELANYI 17f903385c 2021: d22: ex2: add input 2024-11-23 18:50:16 +00:00
Bruno BELANYI ce432cf461 2021: d22: ex1: add solution 2024-11-23 18:50:16 +00:00
Bruno BELANYI 2dfd17a6de 2021: d22: ex1: add input 2024-11-23 18:50:16 +00:00
Bruno BELANYI 0e47d63758 2021: d21: ex2: add solution 2024-11-23 18:50:16 +00:00
Bruno BELANYI 2975f1f898 2021: d21: ex2: add input 2024-11-23 18:50:16 +00:00
Bruno BELANYI ead3395a83 2021: d21: ex1: add solution 2024-11-23 18:50:16 +00:00
Bruno BELANYI d4d6bbe742 2021: d21: ex1: add input 2024-11-23 18:50:16 +00:00
Bruno BELANYI da979f53d0 2021: d20: ex2: add solution 2024-11-23 18:50:16 +00:00
Bruno BELANYI 52da7aafe9 2021: d20: ex2: add input 2024-11-23 18:50:16 +00:00
Bruno BELANYI 62f0a786c2 2021: d20: ex1: add solution 2024-11-23 18:50:16 +00:00
Bruno BELANYI 7a502bdc9c 2021: d20: ex1: add input 2024-11-23 18:50:16 +00:00
Bruno BELANYI a83f108eeb 2021: d19: ex2: add solution 2024-11-23 18:50:16 +00:00
Bruno BELANYI ab3bbd0005 2021: d19: ex2: add input 2024-11-23 18:50:16 +00:00