Commit graph

396 commits

Author SHA1 Message Date
Bruno BELANYI 96b6c799e7 2022: d03: ex1: add solution 2022-12-03 07:50:28 +01:00
Bruno BELANYI 4c8667879d 2022: d03: ex1: add input 2022-12-03 07:48:55 +01:00
Bruno BELANYI 787381537b 2022: d02: ex2: add solution 2022-12-02 08:06:13 +01:00
Bruno BELANYI ca0ff2f0b9 2022: d02: ex2: add input 2022-12-02 08:05:47 +01:00
Bruno BELANYI a710ad0217 2022: d02: ex1: add solution 2022-12-02 08:05:39 +01:00
Bruno BELANYI a06d490eef 2022: d02: ex1: add input 2022-12-02 08:05:33 +01:00
Bruno BELANYI 6f0ffd34db 2022: d01: ex2: add solution 2022-12-01 11:49:28 +01:00
Bruno BELANYI a064fe7199 2022: d01: ex2: add input 2022-12-01 11:49:28 +01:00
Bruno BELANYI 24610576bb 2022: d01: ex1: add solution 2022-12-01 11:49:28 +01:00
Bruno BELANYI 8c13d5954e 2022: d01: ex1: add input 2022-12-01 10:02:48 +01:00
Bruno BELANYI 31c0f09981 nix: use 'nixpkgs-unstable' 2022-12-01 10:02:48 +01:00
Bruno BELANYI 46864fc490 nix: bump flake inputs 2022-12-01 10:02:48 +01:00
Bruno BELANYI fcb74b375f nix: fix 'pyright' 2022-12-01 10:02:48 +01:00
Bruno BELANYI 6a6552f6fc 2021: d25: ex2: add solution 2021-12-26 18:35:57 +01:00
Bruno BELANYI a6560adc6a 2021: d25: ex2: add input 2021-12-26 18:35:57 +01:00
Bruno BELANYI 709ad10ae2 2021: d25: ex1: add solution 2021-12-26 18:35:57 +01:00
Bruno BELANYI 5266bd7cd7 2021: d25: ex1: add input 2021-12-26 18:35:57 +01:00
Bruno BELANYI 068ce3366a 2021: d24: ex2: add solution 2021-12-26 18:35:57 +01:00
Bruno BELANYI a8b2046162 2021: d24: ex2: add input 2021-12-26 18:35:57 +01:00
Bruno BELANYI 84ee4c57f0 2021: d24: ex1: add solution 2021-12-26 18:35:57 +01:00
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