 Bruno BELANYI
|
bf830af1ae
|
2021: d24: ex1: add input
|
2021-12-26 17:46:51 +01:00 |
|
|
Bruno BELANYI
|
d35e1d43d6
|
nix: add z3 to python environment
|
2021-12-26 17:46:51 +01:00 |
|
|
Bruno BELANYI
|
289b1ce455
|
nix: use proper python environment
|
2021-12-26 17:46:51 +01:00 |
|
|
Bruno BELANYI
|
ac9f1f2d6d
|
2021: d23: ex2: add solution
|
2021-12-26 17:46:51 +01:00 |
|
|
Bruno BELANYI
|
04589c89b8
|
2021: d23: ex2: add input
|
2021-12-26 17:46:51 +01:00 |
|
|
Bruno BELANYI
|
05fdbcc303
|
2021: d23: ex1: add solution
|
2021-12-26 17:46:51 +01:00 |
|
|
Bruno BELANYI
|
130e417c62
|
2021: d23: ex1: add input
|
2021-12-26 17:39:08 +01:00 |
|
|
Bruno BELANYI
|
61936793e3
|
2021: d22: ex2: add solution
|
2021-12-22 16:41:20 +01:00 |
|
|
Bruno BELANYI
|
f8d2551280
|
2021: d22: ex2: add input
|
2021-12-22 16:41:13 +01:00 |
|
|
Bruno BELANYI
|
9ab9b3bd08
|
2021: d22: ex1: add solution
|
2021-12-22 16:41:07 +01:00 |
|
|
Bruno BELANYI
|
3152b281e2
|
2021: d22: ex1: add input
|
2021-12-22 16:41:00 +01:00 |
|
|
Bruno BELANYI
|
d85baf2a6d
|
2021: d21: ex2: add solution
|
2021-12-21 15:04:56 +01:00 |
|
|
Bruno BELANYI
|
16e9f6eb9c
|
2021: d21: ex2: add input
|
2021-12-21 15:04:49 +01:00 |
|
|
Bruno BELANYI
|
ee48bb409a
|
2021: d21: ex1: add solution
|
2021-12-21 15:04:43 +01:00 |
|
|
Bruno BELANYI
|
a791595c4e
|
2021: d21: ex1: add input
|
2021-12-21 15:04:37 +01:00 |
|
|
Bruno BELANYI
|
65328ff90d
|
2021: d20: ex2: add solution
|
2021-12-20 15:24:05 +01:00 |
|
|
Bruno BELANYI
|
74e53e919c
|
2021: d20: ex2: add input
|
2021-12-20 15:24:00 +01:00 |
|
|
Bruno BELANYI
|
820d358803
|
2021: d20: ex1: add solution
|
2021-12-20 15:23:53 +01:00 |
|
|
Bruno BELANYI
|
98deed16ed
|
2021: d20: ex1: add input
|
2021-12-20 15:23:47 +01:00 |
|
|
Bruno BELANYI
|
05a02c63fd
|
2021: d19: ex2: add solution
|
2021-12-19 14:23:37 +01:00 |
|
|
Bruno BELANYI
|
f561c94209
|
2021: d19: ex2: add input
|
2021-12-19 14:23:30 +01:00 |
|
|
Bruno BELANYI
|
549a806bd6
|
2021: d19: ex1: add solution
|
2021-12-19 14:23:21 +01:00 |
|
|
Bruno BELANYI
|
030f680090
|
2021: d19: ex1: add input
|
2021-12-19 14:23:16 +01:00 |
|
|
Bruno BELANYI
|
8bf78654a5
|
2021: d18: ex2: add solution
|
2021-12-18 16:05:53 +01:00 |
|
|
Bruno BELANYI
|
c0bf6fe213
|
2021: d18: ex2: add input
|
2021-12-18 16:05:48 +01:00 |
|
|
Bruno BELANYI
|
2be3cf4327
|
2021: d18: ex1: add solution
|
2021-12-18 16:05:38 +01:00 |
|
|
Bruno BELANYI
|
38902d9a64
|
2021: d18: ex1: add input
|
2021-12-18 16:05:30 +01:00 |
|
|
Bruno BELANYI
|
87dd721d47
|
2021: d17: ex2: add solution
|
2021-12-17 17:40:43 +01:00 |
|
|
Bruno BELANYI
|
bbb6b33406
|
2021: d17: ex2: add input
|
2021-12-17 17:40:43 +01:00 |
|
|
Bruno BELANYI
|
b8e0bc7db7
|
2021: d17: ex1: add solution
|
2021-12-17 17:40:43 +01:00 |
|
|
Bruno BELANYI
|
b41103b3a8
|
2021: d17: ex1: add input
|
2021-12-17 17:38:20 +01:00 |
|
|
Bruno BELANYI
|
44d90b4153
|
2021: d16: ex2: add solution
|
2021-12-16 13:16:45 +01:00 |
|
|
Bruno BELANYI
|
b42fd7e459
|
2021: d16: ex2: add input
|
2021-12-16 12:59:29 +01:00 |
|
|
Bruno BELANYI
|
ae66ae03d6
|
2021: d16: ex1: add solution
|
2021-12-16 12:59:21 +01:00 |
|
|
Bruno BELANYI
|
bf5053d865
|
2021: d16: ex1: add input
|
2021-12-16 12:59:15 +01:00 |
|
|
Bruno BELANYI
|
643286ca25
|
2021: d15: ex2: add solution
|
2021-12-15 10:21:46 +01:00 |
|
|
Bruno BELANYI
|
cb03ef9b2b
|
2021: d15: ex2: add input
|
2021-12-15 10:21:39 +01:00 |
|
|
Bruno BELANYI
|
ee4c12e081
|
2021: d15: ex1: add solution
|
2021-12-15 10:21:33 +01:00 |
|
|
Bruno BELANYI
|
68219cf710
|
2021: d15: ex1: add input
|
2021-12-15 10:21:27 +01:00 |
|
|
Bruno BELANYI
|
03565ed812
|
2021: d14: ex2: add solution
|
2021-12-14 13:52:53 +01:00 |
|
|
Bruno BELANYI
|
420d4a8f7a
|
2021: d14: ex2: add input
|
2021-12-14 13:46:29 +01:00 |
|
|
Bruno BELANYI
|
a1520e437e
|
2021: d14: ex1: add solution
|
2021-12-14 13:46:23 +01:00 |
|
|
Bruno BELANYI
|
235f8cd29b
|
2021: d14: ex1: add input
|
2021-12-14 13:46:09 +01:00 |
|
|
Bruno BELANYI
|
b1f325432c
|
nix: add tools to devShell
|
2021-12-13 18:06:02 +01:00 |
|
|
Bruno BELANYI
|
5f332cc4fa
|
2019: d07: ex1: quieten Mypy
|
2021-12-13 18:03:31 +01:00 |
|
|
Bruno BELANYI
|
df66079060
|
2021: d13: ex2: add solution
|
2021-12-13 17:52:37 +01:00 |
|
|
Bruno BELANYI
|
8794333d64
|
2021: d13: ex2: add input
|
2021-12-13 17:52:37 +01:00 |
|
|
Bruno BELANYI
|
4b19161d71
|
2021: d13: ex1: add solution
|
2021-12-13 17:52:37 +01:00 |
|
|
Bruno BELANYI
|
6dbdba8a46
|
2021: d13: ex1: add input
|
2021-12-13 17:52:37 +01:00 |
|
|
Bruno BELANYI
|
64651f1be9
|
2021: d12: ex2: add solution
|
2021-12-13 17:52:37 +01:00 |
|