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 |
|
Bruno BELANYI
|
39c5d2e59a
|
2019: d07: ex1: quieten Mypy
|
2024-11-23 18:50:16 +00:00 |
|
Bruno BELANYI
|
0532cbeac3
|
2021: d13: ex2: add solution
|
2024-11-23 18:50:16 +00:00 |
|
Bruno BELANYI
|
07d150e796
|
2021: d13: ex2: add input
|
2024-11-23 18:50:16 +00:00 |
|
Bruno BELANYI
|
b9860d1f32
|
2021: d13: ex1: add solution
|
2024-11-23 18:50:16 +00:00 |
|
Bruno BELANYI
|
f314b9d753
|
2021: d13: ex1: add input
|
2024-11-23 18:50:16 +00:00 |
|
Bruno BELANYI
|
9f4688d8c0
|
2021: d12: ex2: add solution
|
2024-11-23 18:50:16 +00:00 |
|
Bruno BELANYI
|
bf519c8eab
|
2021: d12: ex2: add input
|
2024-11-23 18:50:16 +00:00 |
|