Gregory Kevin Hill gregory

1 Followers · 0 Following

• Delft, Netherlands
• https://kevinhill.nl
• Joined on 2019-09-15

Repositories

18

Projects Packages Public Activity Starred Repositories

Loading Heatmap…

gregory pushed to main at gregory/aoc_2023

• d1fe173883 Impl day 11

2023-12-11 22:41:43 +01:00

gregory pushed to main at gregory/aoc_2023

• 259a6bb5e9 Break day 5, impl day 7 and 8

2023-12-08 17:38:56 +01:00

gregory pushed to main at gregory/aoc_2023

• fb80be9dc6 Nicify day1 en day4

2023-12-07 19:47:59 +01:00

gregory pushed to main at gregory/aoc_2023

• 1be0ce26a9 Impl day 06

2023-12-07 19:47:22 +01:00

gregory pushed to main at gregory/aoc_2023

• c7dae3a5eb Day 1 through 5

2023-12-05 10:12:42 +01:00

gregory created branch main in gregory/aoc_2023

2023-12-05 10:12:42 +01:00

gregory created repository gregory/aoc_2023

2023-12-05 10:12:25 +01:00

gregory pushed to main at gregory/kerstpuzzel2023-opgave-23

• e5d2d3434d Add mypy checker

2023-01-22 10:37:54 +01:00

gregory pushed to main at gregory/kerstpuzzel2023-opgave-23

• abfea2dc01 Cleanup code, add documentation and README

2023-01-22 10:37:16 +01:00

gregory pushed to main at gregory/kerstpuzzel2023-opgave-23

• f9eba8cb12 Working opgave23 implementation

2023-01-21 20:05:13 +01:00

gregory pushed to main at gregory/kerstpuzzel2023-opgave-23

• b4982b464f Fix 'cell' creation. Const names are now much better. Also return the model and the Solver, so we can check some more stuff

2023-01-21 19:30:00 +01:00

gregory pushed to main at gregory/kerstpuzzel2023-opgave-23

• ce11c52667 Complete all antischaak rules. Now model is 'sat'.

2023-01-21 17:52:19 +01:00

gregory pushed to main at gregory/kerstpuzzel2023-opgave-23

• cd5053bd2b Add some antischaak rules

2023-01-21 16:38:58 +01:00

gregory pushed to main at gregory/kerstpuzzel2023-opgave-23

• 46b77112a9 Implement Vampire rules

2023-01-21 16:20:45 +01:00

gregory pushed to main at gregory/kerstpuzzel2023-opgave-23

• dd9844c13d Jigoku was wrong

2023-01-21 15:34:18 +01:00

gregory pushed to main at gregory/kerstpuzzel2023-opgave-23

• 4fd964a15c Fix several more bugs in the puzzle input

2023-01-21 15:29:09 +01:00

gregory pushed to main at gregory/kerstpuzzel2023-opgave-23

• 15915549fb Fixed several bugs, rewrote 'if' to 'implies'

2023-01-21 12:11:48 +01:00

gregory pushed to main at gregory/AOC2022

• dda1358e41 Add day 11

2022-12-11 13:43:55 +01:00

gregory pushed to main at gregory/AOC2022

• ccb8069124 add day9 input

2022-12-10 10:51:38 +01:00

gregory pushed to main at gregory/AOC2022

• e9fb7b1d1c Implement day 9a
• db980e7f7b Implement day 10
• Compare 2 commits »

2022-12-10 10:51:18 +01:00