|
|
96b6c799e7
|
2022: d03: ex1: add solution
|
2022-12-03 07:50:28 +01:00 |
|
|
|
4c8667879d
|
2022: d03: ex1: add input
|
2022-12-03 07:48:55 +01:00 |
|
|
|
787381537b
|
2022: d02: ex2: add solution
|
2022-12-02 08:06:13 +01:00 |
|
|
|
ca0ff2f0b9
|
2022: d02: ex2: add input
|
2022-12-02 08:05:47 +01:00 |
|
|
|
a710ad0217
|
2022: d02: ex1: add solution
|
2022-12-02 08:05:39 +01:00 |
|
|
|
a06d490eef
|
2022: d02: ex1: add input
|
2022-12-02 08:05:33 +01:00 |
|
|
|
6f0ffd34db
|
2022: d01: ex2: add solution
|
2022-12-01 11:49:28 +01:00 |
|
|
|
a064fe7199
|
2022: d01: ex2: add input
|
2022-12-01 11:49:28 +01:00 |
|
|
|
24610576bb
|
2022: d01: ex1: add solution
|
2022-12-01 11:49:28 +01:00 |
|
|
|
8c13d5954e
|
2022: d01: ex1: add input
|
2022-12-01 10:02:48 +01:00 |
|
|
|
31c0f09981
|
nix: use 'nixpkgs-unstable'
|
2022-12-01 10:02:48 +01:00 |
|
|
|
46864fc490
|
nix: bump flake inputs
|
2022-12-01 10:02:48 +01:00 |
|
|
|
fcb74b375f
|
nix: fix 'pyright'
|
2022-12-01 10:02:48 +01:00 |
|
|
|
6a6552f6fc
|
2021: d25: ex2: add solution
|
2021-12-26 18:35:57 +01:00 |
|
|
|
a6560adc6a
|
2021: d25: ex2: add input
|
2021-12-26 18:35:57 +01:00 |
|
|
|
709ad10ae2
|
2021: d25: ex1: add solution
|
2021-12-26 18:35:57 +01:00 |
|
|
|
5266bd7cd7
|
2021: d25: ex1: add input
|
2021-12-26 18:35:57 +01:00 |
|
|
|
068ce3366a
|
2021: d24: ex2: add solution
|
2021-12-26 18:35:57 +01:00 |
|
|
|
a8b2046162
|
2021: d24: ex2: add input
|
2021-12-26 18:35:57 +01:00 |
|
|
|
84ee4c57f0
|
2021: d24: ex1: add solution
|
2021-12-26 18:35:57 +01:00 |
|
|
|
bf830af1ae
|
2021: d24: ex1: add input
|
2021-12-26 17:46:51 +01:00 |
|
|
|
d35e1d43d6
|
nix: add z3 to python environment
|
2021-12-26 17:46:51 +01:00 |
|
|
|
289b1ce455
|
nix: use proper python environment
|
2021-12-26 17:46:51 +01:00 |
|
|
|
ac9f1f2d6d
|
2021: d23: ex2: add solution
|
2021-12-26 17:46:51 +01:00 |
|
|
|
04589c89b8
|
2021: d23: ex2: add input
|
2021-12-26 17:46:51 +01:00 |
|
|
|
05fdbcc303
|
2021: d23: ex1: add solution
|
2021-12-26 17:46:51 +01:00 |
|
|
|
130e417c62
|
2021: d23: ex1: add input
|
2021-12-26 17:39:08 +01:00 |
|
|
|
61936793e3
|
2021: d22: ex2: add solution
|
2021-12-22 16:41:20 +01:00 |
|
|
|
f8d2551280
|
2021: d22: ex2: add input
|
2021-12-22 16:41:13 +01:00 |
|
|
|
9ab9b3bd08
|
2021: d22: ex1: add solution
|
2021-12-22 16:41:07 +01:00 |
|
|
|
3152b281e2
|
2021: d22: ex1: add input
|
2021-12-22 16:41:00 +01:00 |
|
|
|
d85baf2a6d
|
2021: d21: ex2: add solution
|
2021-12-21 15:04:56 +01:00 |
|
|
|
16e9f6eb9c
|
2021: d21: ex2: add input
|
2021-12-21 15:04:49 +01:00 |
|
|
|
ee48bb409a
|
2021: d21: ex1: add solution
|
2021-12-21 15:04:43 +01:00 |
|
|
|
a791595c4e
|
2021: d21: ex1: add input
|
2021-12-21 15:04:37 +01:00 |
|
|
|
65328ff90d
|
2021: d20: ex2: add solution
|
2021-12-20 15:24:05 +01:00 |
|
|
|
74e53e919c
|
2021: d20: ex2: add input
|
2021-12-20 15:24:00 +01:00 |
|
|
|
820d358803
|
2021: d20: ex1: add solution
|
2021-12-20 15:23:53 +01:00 |
|
|
|
98deed16ed
|
2021: d20: ex1: add input
|
2021-12-20 15:23:47 +01:00 |
|
|
|
05a02c63fd
|
2021: d19: ex2: add solution
|
2021-12-19 14:23:37 +01:00 |
|
|
|
f561c94209
|
2021: d19: ex2: add input
|
2021-12-19 14:23:30 +01:00 |
|
|
|
549a806bd6
|
2021: d19: ex1: add solution
|
2021-12-19 14:23:21 +01:00 |
|
|
|
030f680090
|
2021: d19: ex1: add input
|
2021-12-19 14:23:16 +01:00 |
|
|
|
8bf78654a5
|
2021: d18: ex2: add solution
|
2021-12-18 16:05:53 +01:00 |
|
|
|
c0bf6fe213
|
2021: d18: ex2: add input
|
2021-12-18 16:05:48 +01:00 |
|
|
|
2be3cf4327
|
2021: d18: ex1: add solution
|
2021-12-18 16:05:38 +01:00 |
|
|
|
38902d9a64
|
2021: d18: ex1: add input
|
2021-12-18 16:05:30 +01:00 |
|
|
|
87dd721d47
|
2021: d17: ex2: add solution
|
2021-12-17 17:40:43 +01:00 |
|
|
|
bbb6b33406
|
2021: d17: ex2: add input
|
2021-12-17 17:40:43 +01:00 |
|
|
|
b8e0bc7db7
|
2021: d17: ex1: add solution
|
2021-12-17 17:40:43 +01:00 |
|
