Commit graph

441 commits

Author SHA1 Message Date
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
Bruno BELANYI da2a08ffbe 2021: d19: ex1: add solution 2024-11-23 18:50:16 +00:00
Bruno BELANYI 45d5954659 2021: d19: ex1: add input 2024-11-23 18:50:16 +00:00
Bruno BELANYI a33665b459 2021: d18: ex2: add solution 2024-11-23 18:50:16 +00:00
Bruno BELANYI 61d721c57e 2021: d18: ex2: add input 2024-11-23 18:50:16 +00:00
Bruno BELANYI 950af51d0d 2021: d18: ex1: add solution 2024-11-23 18:50:16 +00:00
Bruno BELANYI 4f5357a388 2021: d18: ex1: add input 2024-11-23 18:50:16 +00:00
Bruno BELANYI a34dccc5d6 2021: d17: ex2: add solution 2024-11-23 18:50:16 +00:00
Bruno BELANYI 15d5b0ddad 2021: d17: ex2: add input 2024-11-23 18:50:16 +00:00
Bruno BELANYI 54c92ff0fe 2021: d17: ex1: add solution 2024-11-23 18:50:16 +00:00
Bruno BELANYI 0889e490ee 2021: d17: ex1: add input 2024-11-23 18:50:16 +00:00
Bruno BELANYI 9403676d36 2021: d16: ex2: add solution 2024-11-23 18:50:16 +00:00
Bruno BELANYI 6aaefd6d6f 2021: d16: ex2: add input 2024-11-23 18:50:16 +00:00
Bruno BELANYI e4e9042c0f 2021: d16: ex1: add solution 2024-11-23 18:50:16 +00:00
Bruno BELANYI 918aa91aba 2021: d16: ex1: add input 2024-11-23 18:50:16 +00:00