Commit graph

332 commits

Author SHA1 Message Date
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
Bruno BELANYI fcce87c199 2021: d15: ex2: add solution 2024-11-23 18:50:16 +00:00
Bruno BELANYI 8c09efb227 2021: d15: ex2: add input 2024-11-23 18:50:16 +00:00
Bruno BELANYI a4b81dac45 2021: d15: ex1: add solution 2024-11-23 18:50:16 +00:00
Bruno BELANYI 7c0034e8af 2021: d15: ex1: add input 2024-11-23 18:50:16 +00:00
Bruno BELANYI 2730bcf359 2021: d14: ex2: add solution 2024-11-23 18:50:16 +00:00
Bruno BELANYI 1ed52f1113 2021: d14: ex2: add input 2024-11-23 18:50:16 +00:00
Bruno BELANYI 5ad6df511b 2021: d14: ex1: add solution 2024-11-23 18:50:16 +00:00
Bruno BELANYI df55bc9993 2021: d14: ex1: add input 2024-11-23 18:50:16 +00:00
Bruno BELANYI 006e9e3ac6 nix: add tools to devShell 2024-11-23 18:50:16 +00:00